def stream.close

bend-kit-hairpin@0.13.0.1 · hairpin.bend:97

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

97# Close a stream from open.as. A body read to its end gives its connection to the client's pool.
98def stream.close(c: Client, st: Http.Stream) -> IO(Client):
99  Client{o, pool, j, br} = c
100  do IO<Client>:
101    p : Http.Pool <- Http.pool.stream.close(pool, st)
102    return Client{o, p, j, br}