Update for new API

This commit is contained in:
Vrganj 2021-01-23 21:31:23 +01:00
commit c10a30b69a
78 changed files with 2063 additions and 868 deletions

View file

@ -1,4 +1,6 @@
#!/bin/bash
cd /tmp/$2
cp code.code code.d
timeout -s KILL 10 dmd code.d
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 ./code"
xtimeout -s KILL 3 args -a args.args -d '\n' ./code