diff options
Diffstat (limited to 'base/daemon.sh')
-rw-r--r-- | base/daemon.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/daemon.sh b/base/daemon.sh index de75186..8301b3f 100644 --- a/base/daemon.sh +++ b/base/daemon.sh @@ -17,7 +17,7 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. PID=$$ -LOCK="/var/run/judge.pid" +LOCK="$JUDGE_PREFIX/judge.pid" echo $PID >$LOCK echo "Judge daemon started ... pid=$PID" >&2 |