# HG changeset patch
# User Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
# Date 1514482605 -3600
# Node ID df158368051eead6fa3d518f8df88eb42fc38b8a
# Parent  e9f562a34fa5334702015987d68dfc352636e371
PHP7 compatibility and support for http and https

diff -r e9f562a34fa5 -r df158368051e CacheTimeCheck.inc
--- a/CacheTimeCheck.inc	Thu Dec 28 18:33:17 2017 +0100
+++ b/CacheTimeCheck.inc	Thu Dec 28 18:36:45 2017 +0100
@@ -22,7 +22,7 @@
 
   $gmdate_mod = toGMTime($cache->getNewest());
 
-  if ($_SERVER['REDIRECT_URL'] == '/sitemap.xml') {
+  if (array_key_exists('REDIRECT_URL', $_SERVER) && $_SERVER['REDIRECT_URL'] == '/sitemap.xml') {
     //print_r($gmdate_mod);
   }
 
diff -r e9f562a34fa5 -r df158368051e Options.inc
--- a/Options.inc	Thu Dec 28 18:33:17 2017 +0100
+++ b/Options.inc	Thu Dec 28 18:36:45 2017 +0100
@@ -82,7 +82,7 @@
     $base = ($l) ? substr($request, 0 , $l) : $request;
     $base = rtrim($base, '/');
 
-    return "http://" . $_SERVER['HTTP_HOST'] . $base;
+    return "//" . $_SERVER['HTTP_HOST'] . $base;
   }
 
   /**
diff -r e9f562a34fa5 -r df158368051e Page.inc
--- a/Page.inc	Thu Dec 28 18:33:17 2017 +0100
+++ b/Page.inc	Thu Dec 28 18:36:45 2017 +0100
@@ -1,4 +1,4 @@
-<?
+<?php
 include_once 'ScriptIncludeCache.inc';
 
 /// @cond