def done.live

ezx@1.11.0.0 · src/share/spin.bend:59

import ezx@1.11.0.0/src/share/spin.bend as Spin
import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/say.bend as Say

59# the mark stopped, and the line written where it was
60def done.live(+dev: String, +pid: String, +msg: String) -> IO(Unit):
61  do IO<Unit>:
62    _k : String <- R.exec(["kill", pid])
63    _s : String <- R.exec(["sh", "-c", Say.settle(), "sh", dev, msg])
64    return Unit{}

Uses (8)

Used by (1)