device_manager.cpp revision c35ab0c38d10cbbaa712e06044a7cf49b942a64e
1