Include SERVER_PORT when not doing multi-server or multi-port but are running on a port other than 80.

2018-10-19 10:59:16 -04:00 · 2018-10-19 10:59:16 -04:00 · f9b1453705
parent 23fd5db5c8
commit f9b1453705
1 changed files with 2 additions and 0 deletions
--- a/web/includes/Server.php
+++ b/web/includes/Server.php
@ -47,6 +47,8 @@ class Server {
 		}
    if ( $port ) {
      $url .= ':'.$port;
+    } else {
+      $url .= ':'.$_SERVER['SERVER_PORT'];
    }
    $url .= $_SERVER['PHP_SELF'];
    return $url;