private void ClosePipeWithError(ServerSideMsgPipe pipe, ServerErrorId error) { try { pipe.SendMessageUsingBuffer(new ServerMsgError(error), _sendBuffer); } finally { pipe.Close(); } }
public void Dispose() { _serverSidePipe?.Close(); _clientSidePipe?.Close(); }