From 393690bdb01907374c207f882fe714edc234837d Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Tue, 14 Mar 2023 10:23:32 +0100 Subject: [PATCH] system: killbypid() in gateway monitors --- src/etc/inc/plugins.inc.d/dpinger.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/etc/inc/plugins.inc.d/dpinger.inc b/src/etc/inc/plugins.inc.d/dpinger.inc index 7304af28b..63e29b259 100644 --- a/src/etc/inc/plugins.inc.d/dpinger.inc +++ b/src/etc/inc/plugins.inc.d/dpinger.inc @@ -162,7 +162,7 @@ function dpinger_configure_do($verbose = false, $gwname = null, $bootup = false) if (!empty($gwname) && $running_gwname != $gwname) { continue; } - killbypid($process['pidfile'], 'TERM', true); + killbypid($process['pidfile']); @unlink($process['pidfile']); @unlink($process['socket']); }