device_manager.cpp revision cc586449
1