Specify timeout signal

If no signal is specified for timeout, timeout sends the TERM signal
upon timeout. The TERM signal wastes about 2 seconds till termination
(why?). Since KILL signal terminates the process immediately, we
decided to specify the signal.

bug found at submission number 723 @ HelliCode

1 files changed, 5 insertions, 0 deletions

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..879ae3b
--- /dev/null
+++ b/TODO
@@ -0,0 +1,5 @@
+ - redirect stderr of $OUT to /dev/null
+ - maxtime maxmem badstat mark FINISH
+ - localmode (disable mysql communication for localhost testing)
+ - unknown problem with scanf.
+ - list requirements. MySQL-python