diff options
Diffstat (limited to 'base/init.sh')
| -rw-r--r-- | base/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/init.sh b/base/init.sh index 638080d..98d653b 100644 --- a/base/init.sh +++ b/base/init.sh @@ -30,7 +30,7 @@ fi sh $LOGGER LOG error "init started ..." # TODO seams buggy FIXME -LOCK="/var/run/judgeinit.pid" +LOCK="$JUDGE_PREFIX/judge.pid" while [ -e $LOCK ] do LOCK_PID=`cat $LOCK` |