diff options
author | root <root@localhost> | 2012-12-30 16:05:36 +0330 |
---|---|---|
committer | Mahrud Sayrafi <mahrud@eve> | 2012-12-30 05:33:01 -0800 |
commit | b300254ee1f308c440d8e8d8129fb863b6ec9599 (patch) | |
tree | 13b4c0871e5ed92b517c002ab815da7f0fe5fbcc /base/daemon.sh | |
parent | 9cb5ecf6956115140521d74cea8b4191634842fd (diff) | |
download | hellijudge-legacy.git-b300254ee1f308c440d8e8d8129fb863b6ec9599.tar.gz hellijudge-legacy.git-b300254ee1f308c440d8e8d8129fb863b6ec9599.tar.xz hellijudge-legacy.git-b300254ee1f308c440d8e8d8129fb863b6ec9599.zip |
Making the legacy more usefulv0.9
Added a brief installation guide in README along with etc config file samples.
Added a couple of useful start and kill scripts in utils folder.
Added two sample problems (one normal one interactive) along with
testers in utils folder.
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 |