diff options
Diffstat (limited to 'src/etc/inc/config.gui.inc')
| -rw-r--r-- | src/etc/inc/config.gui.inc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/etc/inc/config.gui.inc b/src/etc/inc/config.gui.inc index f41b912..3ed814c 100644 --- a/src/etc/inc/config.gui.inc +++ b/src/etc/inc/config.gui.inc @@ -44,13 +44,6 @@ if (file_exists("/cf/conf/use_xmlreader")) { } require_once("crypt.inc"); -/* read platform */ -if (file_exists("{$g['etc_path']}/platform")) { - $g['platform'] = chop(file_get_contents("{$g['etc_path']}/platform")); -} else { - $g['platform'] = "unknown"; -} - /* if /debugging exists, lets set $debugging so we can output more information */ if (file_exists("/debugging")) { |
