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 | |
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')
-rw-r--r-- | base/daemon.sh | 2 | ||||
-rw-r--r-- | base/init.sh | 2 |
2 files changed, 2 insertions, 2 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 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` |