Files
verilog-playground/_web_server/server/run-restricted

15 lines
312 B
Plaintext
Raw Normal View History

2022-12-01 22:04:50 +03:00
#!/usr/bin/env bash
exe=$(basename $0)
if [ -z "$DONOTUSEFIREJAIL" ]; then
exec firejail \
--quiet --noprofile \
--rlimit-cpu=5 \
--rlimit-as=250m \
--rlimit-fsize=250k \
"$exe" "$@"
else
exec timeout -v -s INT 5 "$exe" "$@"
fi