device_manager.cpp revision 4be4fc6b
1