From d07da159f448ade36389cb03605112370b57b2c4 Mon Sep 17 00:00:00 2001
From: Jon Maul <jon@maul.com>
Date: Thu, 12 Dec 2013 13:44:46 -0500
Subject: [PATCH] Don't add port number to url for https

---
 OpenIDConnectClient.php5 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/OpenIDConnectClient.php5 b/OpenIDConnectClient.php5
index ddd143fd..42fba9e3 100644
--- a/OpenIDConnectClient.php5
+++ b/OpenIDConnectClient.php5
@@ -212,7 +212,7 @@ class OpenIDConnectClient
          * http://stackoverflow.com/questions/189113/how-do-i-get-current-page-full-url-in-php-on-a-windows-iis-server
          */
         $base_page_url = (@$_SERVER["HTTPS"] == "on") ? "https://" : "http://";
-        if ($_SERVER["SERVER_PORT"] != "80") {
+        if ($_SERVER["SERVER_PORT"] != "80" && $_SERVER["SERVER_PORT"] != "443") {
             $base_page_url .= $_SERVER["SERVER_NAME"] . ":" . $_SERVER["SERVER_PORT"];
         } else {
             $base_page_url .= $_SERVER["SERVER_NAME"];