def kill

bend-stdio-pipes@0.2.0.0 · impl.bend:26

import bend-stdio-pipes@0.2.0.0/impl.bend as Impl

import Base

26# Kills the program that open started with pid, unless it has ended: then it fails with ESRCH (3).
27# It never kills a program that open did not start, though the system gives an ended program's pid
28# to another one.
29def kill(pid: U32) -> IO(Result<&1, &1, U32 & String, Unit>):
30  import "./open.c"
31  import "./open.js"

Uses (6)

Used by (2)