device_manager.cpp revision d7ec2fa3
1