diff options
| author | Ermal LUÇI <eri@pfsense.org> | 2014-11-27 08:42:17 +0100 |
|---|---|---|
| committer | Ermal LUÇI <eri@pfsense.org> | 2014-11-27 08:42:17 +0100 |
| commit | bf635e7dcf83942e755bfcff11a9fe329fbec60c (patch) | |
| tree | c9fe3b28b892abf1beeb8bca9e451885b8102e20 /etc/inc | |
| parent | e546d2d1aa5d7bade9ce801fec75f11bf684c6ae (diff) | |
| download | pfsense-bf635e7dcf83942e755bfcff11a9fe329fbec60c.zip pfsense-bf635e7dcf83942e755bfcff11a9fe329fbec60c.tar.gz | |
Optimize
Diffstat (limited to 'etc/inc')
| -rw-r--r-- | etc/inc/globals.inc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/etc/inc/globals.inc b/etc/inc/globals.inc index 1bd832b..b613a90 100644 --- a/etc/inc/globals.inc +++ b/etc/inc/globals.inc @@ -168,12 +168,9 @@ if (file_exists("/etc/inc/globals_override.inc")) function platform_booting() { global $g; - if (file_exists("{$g['varrun_path']}/booting")) + if ($g['booting'] || file_exists("{$g['varrun_path']}/booting")) return true; - if ($g['booting']) - return true; - return false; } |
