device_manager.cpp revision 0450e7b8
1