Updated TODO.

diff --git a/TODO b/TODO
index 8f207f6347408ebfc500e10f01f18285e3efd69b..1ece4b058f4b8c5e80537d073983b04a99a50816 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,16 +1,13 @@
 New directory layout
 ~~~~~~~~~~~~~~~~~~~~
-mop/ and public/ are broken
+The scripts in mop/admin/ need debugging
 
 Evaluator
 ~~~~~~~~~
-score: better formatting of the score table
 interactive tasks: solve deadlocks?
 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)
-remove scanning of users by UID
 
 Judges
 ~~~~~~
@@ -35,10 +32,8 @@ box: limit the total amount of data written to files, so that quotas don't have
 
 TomGav
 ~~~~~~
-
 recursive try-ln for dir input
 clean and well-defined expansion (beware of per-test re-expansion)
 machine-readable log file and/or metadata output from the sandbox
 configurable names of in/out files (independent of $PROBLEM)
 paranoidly check file mode/owner before running the sandbox
-