device_manager.cpp revision fd7ff3cf
1