summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/TODO2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/TODO b/src/TODO
index eebd46c..462b870 100644
--- a/src/TODO
+++ b/src/TODO
@@ -17,3 +17,5 @@ List of things to do for the code
(a kind of wait child ;)
- allow to control the environment setting of the launched instances
+
+- send the SIGKILL after a short time if SIGTERM has no effect