diff options
| -rw-r--r-- | config/softflowd/softflowd.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/softflowd/softflowd.xml b/config/softflowd/softflowd.xml index adf5359c..b05e8319 100644 --- a/config/softflowd/softflowd.xml +++ b/config/softflowd/softflowd.xml @@ -243,7 +243,11 @@ ) ); /* Only try to restart if not booting */ - if (!platform_booting()) { + if (function_exists("platform_booting")) { + if (!platform_booting()) { + restart_service("softflowd"); + } + } elseif (!($g['booting'])) { restart_service("softflowd"); } } |