attempt to shut down children

Signed-off-by: Tobias Ulmer <tu@emlix.com>

diff --git a/generic/e2lib.lua b/generic/e2lib.lua
index 205980cf5553962d9a7dd21e523d6efa6b62a39e..4c04d9e1cbb6afce8b06da53993b88dbded738f4 100644 (file)
--- a/generic/e2lib.lua
+++ b/generic/e2lib.lua
@@ -1559,6 +1559,11 @@ function e2lib.callcmd_poll(...)
         if now - prevtime >= 10 then
             prevtime = now
             e2lib.logf(4, "e2lib.poll: 10s ping", now)
+
+            if e2lib.signal_received() ~= "" then
+                -- try to shut down all children
+                children_send_sigint()
+            end
         end
 
         trace.on()