From c6cb86b86bffd41fb7adcb9efaeb1f59f673b6a9 Mon Sep 17 00:00:00 2001
From: Mahrud Sayrafi <mahrud@eve>
Date: Sat, 12 Jan 2013 11:12:04 -0800
Subject: Fixed pid file conflict between daemon.sh and init.sh

---
 base/init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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`
-- 
cgit