/// <summary> /// The IsConnected property on named pipes does not detect when the client has disconnected /// if we don't attempt any new I/O after the client disconnects. We start an async I/O here /// which serves to check the pipe for disconnection. /// /// This will return true if the pipe was disconnected. /// </summary> protected override Task CreateMonitorDisconnectTask(CancellationToken cancellationToken) { return(BuildServerConnection.CreateMonitorDisconnectTask(_pipeStream, LoggingIdentifier, cancellationToken)); }
/// <summary> /// The IsConnected property on named pipes does not detect when the client has disconnected /// if we don't attempt any new I/O after the client disconnects. We start an async I/O here /// which serves to check the pipe for disconnection. /// /// This will return true if the pipe was disconnected. /// </summary> private Task CreateMonitorDisconnectTask(CancellationToken cancellationToken) { return(BuildServerConnection.CreateMonitorDisconnectTask(_stream, LoggingIdentifier, cancellationToken)); }