1 files changed, 10 insertions, 0 deletions
diff --git a/utils/jfsck.sh b/utils/jfsck.sh
new file mode 100755
index 0000000..3e53a56
--- /dev/null
+++ b/utils/jfsck.sh
@@ -0,0 +1,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