From 4beb46997ba758a83fb3d63dc0034cf695155485 Mon Sep 17 00:00:00 2001 From: José Bollo Date: Wed, 16 Mar 2016 16:04:55 +0100 Subject: TODO: updated MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Change-Id: Id5a02bd0b8c87d8c67b244234de40a51db1b14c6 Signed-off-by: José Bollo --- src/TODO | 2 ++ 1 file changed, 2 insertions(+) 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 -- cgit 1.2.3-korg