device_manager.cpp revision 032b1422
1