From ef1069f8dfe1b1a3e51095b7962e65807a475b38 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me=20Chilliet?= <come.chilliet@fusiondirectory.org>
Date: Mon, 15 Feb 2021 15:32:23 +0100
Subject: [PATCH] :ambulance: fix(index) Fix phpCas server port type

There is a wrong type in phpCas phpdoc in some versions (1.3.6 from
 debian is affected)

issue #6114
---
 html/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/index.php b/html/index.php
index e0fec91d6..8e5246b76 100644
--- a/html/index.php
+++ b/html/index.php
@@ -57,7 +57,7 @@ if (isset($_REQUEST['signout']) && $_REQUEST['signout']) {
       phpCAS::client(
         CAS_VERSION_2_0,
         $config->get_cfg_value('casHost', 'localhost'),
-        $config->get_cfg_value('casPort', '443'),
+        (int) $config->get_cfg_value('casPort', '443'),
         $config->get_cfg_value('casContext', '')
       );
       // Set the CA certificate that is the issuer of the cert
-- 
GitLab