The FIXME was wrong, start_time is available whenever box_pid is.

[eval.git] / TODO

diff --git a/TODO b/TODO
index 1ece4b058f4b8c5e80537d073983b04a99a50816..db242924018222523bbe7130ef33502eae17a515 100644 (file)
--- a/TODO
+++ b/TODO
@@ -11,7 +11,6 @@ box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, bu
 
 Judges
 ~~~~~~
-clean up exit codes
 test cases for judge-shuff
 
 Environment