device_manager.cpp revision a0c6f022
1