device_manager.cpp revision 2d796918
1