def close

bend-kit-postgres@0.3.0.0 · postgres.bend:100

import Base
import bend-kit-postgres@0.3.0.0/codec.bend as Codec

100# Sends Terminate, then closes the socket.
101def close(c: Conn) -> IO(Unit):
102  Conn{+tls, sock, rd, key, ms, status} = c
103  do IO<Unit>:
104    m : Socket & Result<&1, &1, U32 & String, Unit> <- io.write(tls, sock, Codec.encode(Codec.Terminate{}))
105    io.close.after(tls, m)