device_manager.cpp revision 9f925127
1