def tls.done

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

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

356def tls.done(+key: String, +ms: U32, +user: String, +pass: String, +db: String, m: Socket & Result<&1, &1, U32 & String, Unit>) -> IO(Result<&1, &1, Failure, Conn>):
357  (s, r) = m
358  match r:
359    case Fail{(code, why)}:
360      do IO<Result<&1, &1, Failure, Conn>>:
361        Wire.tls.close(s)
362        return Fail{IoFail{code, why}}
363    case Done{u}:
364      startup(Conn{True{}, s, Codec.reader(), key, ms, 0}, user, pass, db)