From 85cf1d4306413c3780d66b96054921ad3be45d76 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Thu, 28 Jun 2007 19:23:46 +0200 Subject: [PATCH] Cosmetic changes. --- TODO | 1 - public/submit | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/TODO b/TODO index 569461b..c80afd6 100644 --- a/TODO +++ b/TODO @@ -4,7 +4,6 @@ score: better formatting of the score table interactive tasks: solve deadlocks? interactive tasks: logging of messages terminology: problem -> task ? -submit, check: unify command-line arguments writing of verdicts to stdout (include timing and check on interactive tasks, including judge errors) box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, but it disappears too early) check: rename `log' ? diff --git a/public/submit b/public/submit index c642218..ac73dbc 100755 --- a/public/submit +++ b/public/submit @@ -1,6 +1,6 @@ #!/bin/bash # The Evaluator -- Public Submit Script -# (c) 2001--2004 Martin Mares +# (c) 2001--2007 Martin Mares set -e [ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; } -- 2.39.2