def PipeSession.kill

bend-pipe-session@0.2.0.0 · impl.bend:143

import Base
import bend-stdio-pipes@0.2.0.0/impl.bend as Stdio

143# Kills the program, whether or not it has ended, and closes its Files.
144def PipeSession.kill(session: PipeSession) -> IO(Unit):
145  match session:
146    case PipeSession{pid, input, out, _}:
147      do IO<Unit>:
148        killed: Result<&1, &1, U32 & String, Unit> <- Stdio.kill(pid)
149        File.close(input)
150        File.close(out)
151        return Unit{}