From 586329e03dbe8f51c86e62f24791a6f3bea8101e Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Thu, 28 Jun 2007 18:41:47 +0200 Subject: [PATCH] Cosmetic changes. --- TODO | 3 ++- bin/lib | 6 ++++-- 2 files changed, 6 insertions(+), 3 deletions(-) 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 { -- 2.39.2