disk_device_manager.cpp revision 6f0f2e9e
1