From 09e1c844f4ffc944ebd780024efab94cb0da454f Mon Sep 17 00:00:00 2001
From: Flavio Copes <copesc@gmail.com>
Date: Tue, 19 Jan 2016 11:38:06 +0100
Subject: [PATCH] Ensure consistency in port handling, always set as string and
 not as integer

---
 system/src/Grav/Common/Uri.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/src/Grav/Common/Uri.php b/system/src/Grav/Common/Uri.php
index 9646f27bc..1f80d7f0a 100644
--- a/system/src/Grav/Common/Uri.php
+++ b/system/src/Grav/Common/Uri.php
@@ -86,7 +86,7 @@ class Uri
      */
     private function buildPort()
     {
-        $port = isset($_SERVER['SERVER_PORT']) ? $_SERVER['SERVER_PORT'] : 80;
+        $port = isset($_SERVER['SERVER_PORT']) ? (string)$_SERVER['SERVER_PORT'] : '80';
         return $port;
     }