From: Martin Mares <mj@ucw.cz>
Date: Thu, 28 Jun 2007 17:27:33 +0000 (+0200)
Subject: Logfile of submit and check renamed to `check-log' to prevent collisions.
X-Git-Tag: python-dummy-working~338
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=fc23667b6f78c96c83e15a516602dc74f2773e24;p=moe.git

Logfile of submit and check renamed to `check-log' to prevent collisions.
---

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