fixes "undefined index" notice

diff --git a/install/index.php b/install/index.php
index 83f3d3821b4fb87096f58e5b3cdc970222a44f19..f71a779faa5ea186b13f0426cda02e458f23e1ff 100644 (file)
--- 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;
        }