device_manager.cpp revision 2ecef3acbef27f58ed5e64a9732bee0a87d88112
1