device_manager.cpp revision 557335a9
1