device_manager.cpp revision 067b0d08
1