disk_device_manager.cpp revision 8c8f8c84
1