diff options
-rw-r--r-- | etc/inc/config.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/inc/config.inc b/etc/inc/config.inc index d5e7f87..adeec82 100644 --- a/etc/inc/config.inc +++ b/etc/inc/config.inc @@ -1094,7 +1094,7 @@ EOD; EOD; - if($booting) + if($g['booting']) exit; /* resync everything */ |