Пример #1
0
        public void RollBack()
        {
            _position = _store.GetPosition(_position.FileId.BaseFileName);
//TODO reopen stream  - we could have moved to a new file.
        }
Пример #2
0
 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);
 }