device_manager.cpp revision 2ecef3ac
1