Running executors as runners

This commit is contained in:
ThreshMain 2021-01-16 06:46:04 +01:00
parent 9293cd271f
commit 8f2960e99a
No known key found for this signature in database
GPG key ID: 5FCE2316C19586E7
30 changed files with 66 additions and 92 deletions

View file

@ -1,7 +1,4 @@
cd /tmp/$2
mv code.code code.hs
runuser runner$1 -c "\
cd /tmp/$2 ; \
ghc -dynamic -o binary code.hs > /dev/null 2>&1 ; \
cat args.args | xargs -d '\n' timeout -s KILL 3 ./binary"
cd /tmp/$1
mv code.code code.hs ;
ghc -dynamic -o binary code.hs > /dev/null 2>&1 ;
cat args.args | xargs -d '\n' timeout -s KILL 3 ./binary