device_manager.cpp revision aa4ba93e
1