device_manager.cpp revision ad5bbfb8
1