blob: 3e53a568a569bfad60646a7a9da41611c2f15f1c (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
exec 2>/dev/null
kill `cat $JUDGE_PREFIX/judge.pid`
sleep 1
kill -s 9 `cat /var/run/judgeinit.lock0`
kill -s 9 `cat $JUDGE_PREFIX/judge.pid`
echo hasta la vista, baby! :-t
|