device_manager.cpp revision 68578fe6
1