device_manager.cpp revision 7382f821163f5df7cc6fc11a0cf25ef955044313
1