3 Commits

Author SHA1 Message Date
Stef Dunlap
0f775e150d 👾 indentation 2025-06-02 12:02:07 -04:00
Stef Dunlap
f60561d470 Fixup for running on Debian on Debian Trixie (13) 2025-06-02 12:00:39 -04:00
Stef Dunlap
cb2d5aa868 Kill off any forked processes on timeout
Previously we bwrap-ed the whole our.rb script. In this commit we switch
it so that our.rb is run outside of bwrap, but every user command it
executes is done inside bwrap. This allows us to use bwrap's
"--die-with-parent" (along with "--unshare-pid") to kill off any forked
processes when the parent processes is killed due to a timeout.
2023-02-11 17:39:31 -05:00