device_manager.cpp revision 548c508ff7032b9da455319ec37ffc242d3a43fe
1