device_manager.cpp revision d3b108c5
1