device_manager.cpp revision b9c7ba4bba053b7d9aca4b9e215899e0effa7095
1