From 6fafc43403357a61387e11fb31132b106e767535 Mon Sep 17 00:00:00 2001
From: osaajani <>
Date: Thu, 9 Apr 2020 03:19:24 +0200
Subject: [PATCH] Fix 443 port

---
 descartes/env.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/descartes/env.php b/descartes/env.php
index bbc8657..a2e0982 100644
--- a/descartes/env.php
+++ b/descartes/env.php
@@ -10,7 +10,7 @@
     $http_server_port = isset($_SERVER['SERVER_PORT']) ? ($_SERVER['SERVER_PORT'] == 80) ? '' : ':' . $_SERVER['SERVER_PORT'] : '';
     $https = $_SERVER['HTTPS'] ?? false;
 
-    if ( !isset($_SERVER['SERVER_PORT']) || ($_SERVER['SERVER_PORT'] == 80 && !$https) || ($_SERVER['SERVER_PORT'] === 443 && $https) )
+    if ( !isset($_SERVER['SERVER_PORT']) || ($_SERVER['SERVER_PORT'] == 80 && !$https) || ($_SERVER['SERVER_PORT'] == 443 && $https) )
     {
         $http_server_port = '';
     }