public void RollBack() { _position = _store.GetPosition(_position.FileId.BaseFileName); //TODO reopen stream - we could have moved to a new file. }
public static void Write(FilePosition pos, TextWriter writer) { writer.Write(pos.FileId.WriteTime.ToString("MM/dd/yyyyTHH:mm:ss.fff")); writer.Write(" "); writer.Write(pos.Position); }