public void DisposeFile(BinaryFile file) { if (writers.ContainsKey(file)) { Writer w = writers[file]; file.EndWrite(w); writers.Remove(file); } }