device_manager.cpp revision eb5639c4
1