system: killbypid() in gateway monitors

This commit is contained in:
Franco Fichtner 2023-03-14 10:23:32 +01:00
parent 1af5c3b770
commit 393690bdb0

View File

@ -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']);
}