device_manager.cpp revision 4584521e0b7cdba2c622e7474788d96cd9f4af58
1