public override void Sync(String name) { lock (this) { MaybeThrowDeterministicException(); if (crashed) throw new System.IO.IOException("cannot sync after crash"); if (unSyncedFiles.Contains(name)) unSyncedFiles.Remove(name); } }