From fc23667b6f78c96c83e15a516602dc74f2773e24 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Thu, 28 Jun 2007 19:27:33 +0200 Subject: [PATCH] Logfile of submit and check renamed to `check-log' to prevent collisions. --- TODO | 1 - bin/lib | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/TODO b/TODO index c80afd6..c800a3b 100644 --- a/TODO +++ b/TODO @@ -6,7 +6,6 @@ interactive tasks: logging of messages terminology: problem -> task ? 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' ? Environment ~~~~~~~~~~~ diff --git a/bin/lib b/bin/lib index 126e0fd..ea516f1 100644 --- a/bin/lib +++ b/bin/lib @@ -368,8 +368,8 @@ function public-setup mkdir -p $BOXDIR rm -rf $BOXDIR/* BOXCMD="$MO_ROOT/bin/box -c$BOXDIR" - exec >log - pend "OK (see 'log' for details)" + exec >check-log + pend "OK (see 'check-log' for details)" } # Locate output of open data problem, test case TEST -- 2.39.2