Cosmetic changes.

diff --git a/TODO b/TODO
index 0adebce87da8fac05d7ad9a0fe940650403fd04a..49e4e4c2cb4c3f0e2eda2a4671a4067e72570b0b 100644 (file)
--- 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 237a89139141f97ee4d9608cd9e00c92faa4d210..0be042f80b88efde5fc5f39b3d3e9694bbf655d6 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -1,5 +1,5 @@
 # The Evaluator -- Shell Function Library
-# (c) 2001--2004 Martin Mares <mj@ucw.cz>
+# (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 # 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
 {