Server.server.close: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/server.bend as Server
Lines 183-190 of emerging-ezhttp@0.21.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&start_line=183&end_line=190

import Base
import emerging-ezhttp@0.21.0.0/src/step.bend as Step

# after the last send: close, logging first when it failed
def server.close(r: Socket & Step.Got<Unit>) -> IO(Unit):
  (sock, got) = r
  match got:
    case Step.Lost{line}:
      server.lose(sock, line)
    case Step.Kept{_u}:
      Socket.close(sock)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket.close
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.lose
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&name=Got