device_manager.cpp revision 75d20856
1