1
0
Fork 0
mirror of https://github.com/engineer-man/piston.git synced 2025-09-18 18:00:04 +02:00

sigkill instead of sighup

This commit is contained in:
Brian Seymour 2018-09-21 22:05:29 -05:00
parent 00252622d3
commit f16b936946
7 changed files with 7 additions and 7 deletions
docker/executors

View file

@ -1,4 +1,4 @@
#!/bin/sh
g++ -o binary -x c $1
timeout -s HUP 2 ./binary
timeout -s KILL 2 ./binary