device_manager.cpp revision abc690633a5801e0094f292f6c1d12efe2afc441
1