device_manager.cpp revision eb5639c43ec74cf0fd714685a6add1c54a2388ac
1