device_manager.cpp revision fd7ff3cfc863635f817cb9b5b7f5bef2be81cc44
1