diff options
-rw-r--r-- | config/sarg/sarg.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/sarg/sarg.inc b/config/sarg/sarg.inc index 446b5f82..85410560 100644 --- a/config/sarg/sarg.inc +++ b/config/sarg/sarg.inc @@ -192,7 +192,11 @@ function sync_package_sarg() { global $config, $g, $sarg_proxy; // detect boot process - if (platform_booting()) { + if (function_exists("platform_booting")) { + if (platform_booting()) { + return; + } + } elseif ($g['booting']) { return; } |