diff options
author | WGH <[email protected]> | 2013-06-20 00:54:02 +0400 |
---|---|---|
committer | WGH <[email protected]> | 2013-06-20 00:54:02 +0400 |
commit | 3a3aec221a4a4c955d46d029fce428fe3353a243 (patch) | |
tree | 36e6fe0652a58d7d9e0e47f6e93ac5b1ee0d0220 | |
parent | b5a9ef5ebc052922ff4d57a6f3611b4fb1f29a2c (diff) |
fixes "undefined index" notice
-rw-r--r-- | install/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install/index.php b/install/index.php index 83f3d3821..f71a779fa 100644 --- a/install/index.php +++ b/install/index.php @@ -199,7 +199,7 @@ } function make_self_url_path() { - $url_path = ($_SERVER['HTTPS'] != "on" ? 'http://' : 'https://') . $_SERVER["HTTP_HOST"] . parse_url($_SERVER["REQUEST_URI"], PHP_URL_PATH); + $url_path = ((!isset($_SERVER['HTTPS']) || $_SERVER['HTTPS'] != "on") ? 'http://' : 'https://') . $_SERVER["HTTP_HOST"] . parse_url($_SERVER["REQUEST_URI"], PHP_URL_PATH); return $url_path; } |