Cosmetic changes.

diff --git a/TODO b/TODO
index 569461b9cb3396d56f3521300908c0f4b1fa0fc7..c80afd62c783c64694ef458678521cfb1eb56000 100644 (file)
--- 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 c642218e11d22e6299438cde36d54a3747aed4e6..ac73dbc32bf384858ec61628a35088487c20d871 100755 (executable)
--- 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 ; }