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