From 2e0f00b603a8a0aae9f3bc245feaac7ba144e7cb Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Thu, 7 Sep 2023 16:55:47 +0200 Subject: [PATCH] system: style change --- 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 1800b2cf3..541c05db1 100644 --- a/src/etc/inc/plugins.inc.d/dpinger.inc +++ b/src/etc/inc/plugins.inc.d/dpinger.inc @@ -171,7 +171,7 @@ function dpinger_configure_do($verbose = false, $gwname = null, $bootup = false) foreach (['monitor', 'gateway'] as $key) { if (empty($gateway[$key])) { log_msg("Skipping gateway {$name} due to empty '{$key}' property.", LOG_WARNING); - continue; + continue; } }