device_manager.cpp revision 0dbbeede
1