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); } } }