From d4e65af28325199b75774cf6e51c8f878950df0b Mon Sep 17 00:00:00 2001
From: Benjamin Renard <brenard@easter-eggs.com>
Date: Wed, 9 Feb 2022 12:31:34 +0100
Subject: [PATCH] Fix CAS logout with redirection to original service

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 5cba50d..bd3065e 100644
--- a/index.php
+++ b/index.php
@@ -336,7 +336,7 @@ if (isset($_REQUEST['do'])) {
 			break;
 		case 'caslogout':
 			phpCAS::forceAuthentication();
-			phpCAS::logoutWithUrl($service_url);
+			phpCAS::logoutWithRedirectService($service_url);
 			break;
 		case 'locallogout':
 			unset($_SESSION['session_url']);