From 99f2b117fe967d1804e182a2afe9e521814d743a Mon Sep 17 00:00:00 2001 From: Tobias Ulmer Date: Mon, 3 Jun 2019 19:34:15 +0200 Subject: [PATCH] attempt to shut down children Signed-off-by: Tobias Ulmer --- generic/e2lib.lua | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/generic/e2lib.lua b/generic/e2lib.lua index 205980c..4c04d9e 100644 --- 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() -- 2.39.5