device_manager.cpp revision f04362ea
1