def server.close

emerging-ezhttp@0.21.0.0 · src/server.bend:183

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

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