device_manager.cpp revision 7382f821
1