disk_device_manager.cpp revision dbef8fc4
1