private async Task DiscardSocket()
{
if (_serverEventsSocket != null)
{
_completion?.SetResult(true);
await PostEventHandler.CloseSocket(_serverEventsSocket);
_serverEventsSocket = null;
}
}
public async Task FlushPartialChanges()
{
if (_context.Socket == null)
{
throw new InvalidOperationException(Resources.FlushNotAvailable);
}
if (_context.Document.HasPendingChanges)
{
await PostEventHandler.FlushPartialChanges(_context.Socket, _context.Document);
}
}
public async Task ServerEventFlush()
{
if (PrepareFlush())
{
var json = _document.FlushQueue();
if (_serverEventsSocket != null)
{
await PostEventHandler.FlushMessage(_serverEventsSocket, json);
}
}
}
