public void Dispose() { // TODO: close all log segment streams if (this.currentLogHeadStream != null) { this.currentLogHeadStream.Close(); this.currentLogHeadStream = null; } }