From: Martin Mares <mj@ucw.cz>
Date: Thu, 28 Jun 2007 17:23:46 +0000 (+0200)
Subject: Cosmetic changes.
X-Git-Tag: python-dummy-working~339
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=85cf1d4306413c3780d66b96054921ad3be45d76;p=eval.git

Cosmetic changes.
---

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 <mj@ucw.cz>
+# (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 set -e
 [ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }