device_manager.cpp revision ac1d597e94797a8bd63b052b0a47fec1b654950e
1