Renamed desktop icons.

[moe.git] / public / status

diff --git a/public/status b/public/status
index a8c81f1b5abee44b8bc94a85bb050bd8f25591e5..9e795dc3c303f8e1415d07b19971c5adfc05e1cd 100755 (executable)
--- a/public/status
+++ b/public/status
@@ -1,3 +1,4 @@
+#!/bin/bash
 # The Evaluator -- Public Status Script
 # (c) 2004 Martin Mares <mj@ucw.cz>
 
@@ -10,6 +11,10 @@ set -e
 
 echo -e "Submitted tasks:\n"
 
+if [ -n "$REMOTE_SUBMIT" ] ; then
+       exec $MO_ROOT/bin/remote-status
+fi
+
 for PROBLEM in `cd $MO_ROOT/problems/ ; echo *` ; do
        (
        PDIR=$MO_ROOT/problems/$PROBLEM