/// <summary>
/// Производит прокатку записи журнала на диск
/// </summary>
private void Dump()
{
Engine.Set(
new FileDescriptor {
Path = Path.Combine(VcsStorageDefaults.BinLogDirectory, BinLogGuid + "." + VcsStorageDefaults.BinLogExtension)
},
VcsStorageUtils.StringToStream(BinLog.ToString())
);
}
/// <summary>
/// Сбрасыват карту на диск
/// </summary>
private void Dump()
{
Map.SetAttributeValue("EndWriting", DateTime.Now);
Engine.Set(
new FileDescriptor {
Path = Path.Combine(VcsStorageDefaults.MapFilesDirectory, "master." + VcsStorageDefaults.MapFileExtension)
},
VcsStorageUtils.StringToStream(Map.ToString())
);
}