device_manager.cpp revision d3b108c53d151d7c0aab32c1562bca355462868b
1