in src/Serilog.Sinks.AzureDataExplorer/Durable/BookmarkFile.cs [58:71]
public void WriteBookmark(FileSetPosition bookmark)
{
if (bookmark.File == null)
return;
// Don't need to truncate, since we only ever read a single line and
// writes are always newline-terminated
m_bookmark.Position = 0;
// Cannot dispose, as `leaveOpen` is not available on all target platforms
var writer = new StreamWriter(m_bookmark);
writer.WriteLine("{0}:::{1}", bookmark.NextLineStart, bookmark.File);
writer.Flush();
}