device_manager.cpp revision f04362eac370efa2b6824b7109a737db126a526a
1