Add stdin

This commit is contained in:
Vrganj 2021-01-16 18:41:41 +01:00
parent 8fd831982e
commit c537cab2da
30 changed files with 42 additions and 32 deletions

View file

@ -4,4 +4,4 @@ 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"
cat args.args | xargs -d '\n' timeout -s KILL 3 ./binary < stdin.stdin"