device_manager.cpp revision 150fecee
1