device_manager.cpp revision d88a145e
1