From 74c3125e0d2feba8cdea2890567fac8331fdf261 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Wed, 31 May 2023 10:05:23 +0200 Subject: [PATCH] system: do not delete pid file PR: https://forum.opnsense.org/index.php?topic=34241.0 --- src/etc/inc/plugins.inc.d/dpinger.inc | 1 - 1 file changed, 1 deletion(-) diff --git a/src/etc/inc/plugins.inc.d/dpinger.inc b/src/etc/inc/plugins.inc.d/dpinger.inc index 9cc72d98c..71cdc0745 100644 --- a/src/etc/inc/plugins.inc.d/dpinger.inc +++ b/src/etc/inc/plugins.inc.d/dpinger.inc @@ -178,7 +178,6 @@ function dpinger_configure_do($verbose = false, $gwname = null, $bootup = false) continue; } killbypid($process['pidfile']); - @unlink($process['pidfile']); @unlink($process['socket']); }