diff options
Diffstat (limited to 'etc/inc/globals.inc')
| -rw-r--r-- | etc/inc/globals.inc | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/etc/inc/globals.inc b/etc/inc/globals.inc index aa6b5e3..1bd832b 100644 --- a/etc/inc/globals.inc +++ b/etc/inc/globals.inc @@ -165,10 +165,17 @@ $sysctls = array("net.inet.ip.portrange.first" => "1024", if (file_exists("/etc/inc/globals_override.inc")) @include("globals_override.inc"); -if (file_exists("{$g['varrun_path']}/booting")) - $g['booting'] = true; -else - unset($g['booting']); +function platform_booting() { + global $g; + + if (file_exists("{$g['varrun_path']}/booting")) + return true; + + if ($g['booting']) + return true; + + return false; +} $config_parsed = false; |
