From 1c99570e671f10fac04473d2e43f2be0c28bafa8 Mon Sep 17 00:00:00 2001 From: Vrganj Date: Sun, 17 Jan 2021 22:29:45 +0000 Subject: [PATCH] Change awk executor --- lxc/executors/awk | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/lxc/executors/awk b/lxc/executors/awk index dafa525..8590654 100755 --- a/lxc/executors/awk +++ b/lxc/executors/awk @@ -1,6 +1,4 @@ #!/bin/bash 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 +timeout -s KILL 3 awk -f code.code < stdin.stdin