1 write to _pipe
Microsoft.DotNet.HotReload.Web.Middleware.Package (1)
ResponseStreamWrapper.cs (1)
138
_pipe
= new Pipe();
4 references to _pipe
Microsoft.DotNet.HotReload.Web.Middleware.Package (4)
ResponseStreamWrapper.cs (4)
139
var gzipStream = new GZipStream(
_pipe
.Reader.AsStream(leaveOpen: true), CompressionMode.Decompress, leaveOpen: true);
142
_baseStream =
_pipe
.Writer.AsStream(leaveOpen: true);
178
if (
_pipe
is not null)
180
await
_pipe
.Writer.CompleteAsync();