diff options
author | Mahrud Sayrafi <mahrud@eve> | 2013-01-12 11:12:04 -0800 |
---|---|---|
committer | Mahrud Sayrafi <mahrud@eve> | 2013-01-12 11:12:04 -0800 |
commit | c6cb86b86bffd41fb7adcb9efaeb1f59f673b6a9 (patch) | |
tree | 81bc4e9f02061f15dbf652fb39fc217fd423195c | |
parent | b300254ee1f308c440d8e8d8129fb863b6ec9599 (diff) | |
download | hellijudge-legacy.git-c6cb86b86bffd41fb7adcb9efaeb1f59f673b6a9.tar.gz hellijudge-legacy.git-c6cb86b86bffd41fb7adcb9efaeb1f59f673b6a9.tar.xz hellijudge-legacy.git-c6cb86b86bffd41fb7adcb9efaeb1f59f673b6a9.zip |
Fixed pid file conflict between daemon.sh and 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 98d653b..592d0a1 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="$JUDGE_PREFIX/judge.pid" +LOCK="$JUDGE_PREFIX/init.pid" while [ -e $LOCK ] do LOCK_PID=`cat $LOCK` |