device_manager.cpp revision d7ec2fa3bfda5ba1674e97528fba2f4cfec00144
1