device_manager.cpp revision 4f5d9ca6
1