device_manager.cpp revision c35ab0c3
1