verilog-playground/_web_server/server/restrict

#!/usr/bin/env bash

if [ -z "$DONOTUSEFIREJAIL" ]; then
    exec firejail              \
         --quiet --noprofile   \
         --rlimit-cpu=5        \
         --rlimit-as=250m      \
         --rlimit-fsize=250k   \
         "$@"
else
    exec timeout -v -s KILL 5 "$@"
fi