Server.closing: def of gralha-http-server@0.1.0.0
Import: import gralha-http-server@0.1.0.0/server.bend as Server
Lines 60-65 of gralha-http-server@0.1.0.0/server.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-server@0.1.0.0/server.bend&start_line=60&end_line=65

import Base
import gralha-http-core@0.1.0.0/http.bend as Http

# The response with Connection: close, unless it names a Connection.
def closing(r: Http.Response) -> Http.Response:
  match r:
    case Http.Response{+s, +h, +b}:
      Http.when(Http.Response, Http.header.has(h, "connection"), _ => Http.Response{s, h, b},
        _ => Http.response.with(Http.Response{s, h, b}, "Connection", "close"))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=header.has
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=response.with
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when