mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-09 11:36:27 +02:00
If runner spawns processes with a different effective UID (e.g. passwd), janitor needs to kill those too |
||
---|---|---|
.. | ||
executors | ||
tests | ||
util | ||
execute | ||
execute.js | ||
shell | ||
start | ||
stop |