device_manager.cpp revision a8f9741c
1