Commit Graph

1 Commits (main)

Author SHA1 Message Date
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