diff --git a/lxc/executors/awk b/lxc/executors/awk new file mode 100644 index 0000000..5345cf4 --- /dev/null +++ b/lxc/executors/awk @@ -0,0 +1,5 @@ +cd /tmp/$2 +timeout -s KILL 2 sed "/___code___/Q" code.code > code.stdin +timeout -s KILL 2 sed "1,/___code___/d" code.code > code.awk +timeout -s KILL 3 awk -f code.awk < code.stdin +runuser -l runner$1 -c "cd /tmp/$2 ; timeout -s KILL 3 awk -f code.awk < code.stdin"