~/jendhub

def send.done

gralha-http-server@0.1.0.0 · server.bend:49

import gralha-http-server@0.1.0.0/server.bend as Server
import Base

49# A failed send also hands back the unsent rest, which a closing reply drops.
50def send.done(got: Socket & Result<&1, &1, (U32 & String) & List<&2, U32>, Unit>) -> IO(Unit):
51  (socket, result) = got
52  Socket.close(socket)

Uses (10)

Used by (1)