device_manager.cpp revision 368167ed
1