device_manager.cpp revision ac1d597e
1