def server.lose

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

import Base

68# a lost connection logs its line and closes
69def server.lose(sock: Socket, line: String) -> IO(Unit):
70  IO.bind(Unit, Unit, IO.print_err(line), _u => Socket.close(sock))