device_manager.cpp revision aa4ba93e25c1c63730ba69e04d3d96c3253924fd
1