device_manager.cpp revision 0f3a576f
1