From: Martin Mares Date: Thu, 28 Jun 2007 16:41:47 +0000 (+0200) Subject: Cosmetic changes. X-Git-Tag: python-dummy-working~345 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=586329e03dbe8f51c86e62f24791a6f3bea8101e;p=moe.git Cosmetic changes. --- diff --git a/TODO b/TODO index 0adebce..49e4e4c 100644 --- a/TODO +++ b/TODO @@ -3,11 +3,12 @@ Evaluator score: better formatting of the score table interactive tasks: solve deadlocks? interactive tasks: logging of messages -rename problem to task +terminology: problem -> task ? submit, check: unify command-line arguments do we need SDIR? clean up retest utility 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) Environment ~~~~~~~~~~~ diff --git a/bin/lib b/bin/lib index 237a891..0be042f 100644 --- a/bin/lib +++ b/bin/lib @@ -1,5 +1,5 @@ # The Evaluator -- Shell Function Library -# (c) 2001--2004 Martin Mares +# (c) 2001--2007 Martin Mares # General settings shopt -s dotglob @@ -104,7 +104,9 @@ EOF pend "OK" } -# Locating source file in SDIR, pass name in SRCN (without path) and extension in SRCEXT +# Locate source file. +# If no parameter is given, locate it in SDIR and return name as SRCN and extension as SRCEXT +# Or a file name can be given and then SDIR, SRCN and SRCEXT are set. function locate-source {