device_manager.cpp revision ab57ee42
1