device_manager.cpp revision aef87862a4588d5874595c6c70f440dda081fc42
1