device_manager.cpp revision 8f76c031
1