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

diff --git a/TODO b/TODO
index c80afd62c783c64694ef458678521cfb1eb56000..c800a3b95cad90a7cacd3cc221ba1e025da791d1 100644 (file)
--- 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 126e0fd2ee20e09b2119154ac02dda994a74e76e..ea516f17ede8cf3c42a6d6be7361d1eb2cf50e2f 100644 (file)
--- 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