diff --git a/lxc/executors/awk b/lxc/executors/awk index 8590654..dafa525 100755 --- a/lxc/executors/awk +++ b/lxc/executors/awk @@ -1,4 +1,6 @@ #!/bin/bash cd /tmp/$2 -timeout -s KILL 3 awk -f code.code < stdin.stdin +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