X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=public%2Fstatus;h=9e795dc3c303f8e1415d07b19971c5adfc05e1cd;hb=325264b9d0d300e7701a8c2df1300508f448ae0e;hp=fc7743236a227331b285e6da686d382650dfda23;hpb=0ef7fd9921eb6018b54793ced6592d15979edbc0;p=eval.git diff --git a/public/status b/public/status old mode 100644 new mode 100755 index fc77432..9e795dc --- a/public/status +++ b/public/status @@ -1,18 +1,23 @@ +#!/bin/bash # The Evaluator -- Public Status Script # (c) 2004 Martin Mares set -e -[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; } -. $MO_PUBLIC/bin/lib -. $MO_PUBLIC/config +[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; } +. $MO_ROOT/bin/lib +. $MO_ROOT/config [ -z "$1" ] || die "Usage: status" echo -e "Submitted tasks:\n" -for PROBLEM in `cd $MO_PUBLIC/problems/ ; echo *` ; do +if [ -n "$REMOTE_SUBMIT" ] ; then + exec $MO_ROOT/bin/remote-status +fi + +for PROBLEM in `cd $MO_ROOT/problems/ ; echo *` ; do ( - PDIR=$MO_PUBLIC/problems/$PROBLEM + PDIR=$MO_ROOT/problems/$PROBLEM SUBDIR=~/.submit/$PROBLEM [ -f $PDIR/config ] || exit 0 echo -n "$PROBLEM: "