From 467a55acd9651c8a9ce7367b7c7f0ee9d653b108 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Wed, 07 Aug 2019 15:12:39 +0000
Subject: [PATCH] Add logoutLocal() method that only clears local session and does not logout from the CAS server.

---
 uphpCAS.php |  221 ++++++++++++++++++++++++++++++++++++++-----------------
 1 files changed, 152 insertions(+), 69 deletions(-)

diff --git a/uphpCAS.php b/uphpCAS.php
index ea04ed6..98a3134 100644
--- a/uphpCAS.php
+++ b/uphpCAS.php
@@ -1,7 +1,7 @@
 <?php
 // Thrown when internal error occurs
 class JasigException extends Exception {}
-// Thrown when CAS server return authentication error
+// Thrown when CAS server returns authentication error
 class JasigAuthException extends JasigException {}
 
 class JasigUser {
@@ -13,8 +13,11 @@
 	const VERSION = '1.0';
 	protected $serverUrl = '';
 	protected $serviceUrl;
+	protected $sessionName = 'uphpCAS-user';
+	protected $method = 'POST';
+	protected $caFile = NULL;
 	
-	function __construct($serverUrl = NULL, $serviceUrl = NULL) {
+	function __construct($serverUrl = NULL, $serviceUrl = NULL, $sessionName = NULL) {
 		if($serverUrl != NULL) {
 			$this->serverUrl = rtrim($serverUrl, '/');
 		}
@@ -22,62 +25,130 @@
 		if($serviceUrl != NULL) {
 			$this->serviceUrl = $serviceUrl;
 		} else {
-			$url = 'http://';
-			$port = 0;
-			if(isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') {
-				$url = 'https://';
-				if(isset($_SERVER['SERVER_PORT'])
-						&& $_SERVER['SERVER_PORT'] != '443') {
-					$port = $_SERVER['SERVER_PORT'];
-				}
-			} elseif(isset($_SERVER['SERVER_PORT'])
-					&& $_SERVER['SERVER_PORT'] != '80') {
-				$port = $_SERVER['SERVER_PORT'];
-			}
-			
-			$url .= $_SERVER['SERVER_NAME'];
-			
-			if($port != 0) {
-				$url .= ':'.$port;
-			}
-			$url .= $_SERVER['REQUEST_URI'];
-			
-			$this->serviceUrl = $url;
+			$this->serviceUrl = $this->getCurrentUrl();
+		}
+		
+		if($sessionName) {
+			$this->sessionName = $sessionName;
+		}
+		
+		if(version_compare(PHP_VERSION, '5.6', '<')) {
+			$this->caFile = $this->findCaFile();
 		}
 	}
 	
+	public function getCurrentUrl() {
+		$url = 'http://';
+		$port = 0;
+		if(isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') {
+			$url = 'https://';
+			if(isset($_SERVER['SERVER_PORT'])
+					&& $_SERVER['SERVER_PORT'] != '443') {
+				$port = $_SERVER['SERVER_PORT'];
+			}
+		} elseif(isset($_SERVER['SERVER_PORT'])
+				&& $_SERVER['SERVER_PORT'] != '80') {
+			$port = $_SERVER['SERVER_PORT'];
+		}
+		
+		$url .= $_SERVER['SERVER_NAME'];
+		
+		if($port != 0) {
+			$url .= ':'.$port;
+		}
+		
+		$url .= $_SERVER['REQUEST_URI'];
+		
+		if(isset($_GET['ticket'])) {
+			$pos = max(
+				strrpos($url, '?ticket='),
+				strrpos($url, '&ticket=')
+			);
+			$url = substr($url, 0, $pos);
+		}
+		
+		return $url;
+	}
+	
+	public function getServerUrl() {
+		return $this->serverUrl;
+	}
 	public function setServerUrl($serverUrl) {
 		$this->serverUrl = $serverUrl;
 	}
 	
+	public function getServiceUrl() {
+		return $this->serviceUrl;
+	}
 	public function setServiceUrl($serviceUrl) {
 		$this->serviceUrl = $serviceUrl;
 	}
 	
-	public function loginUrl() {
-		return $this->serverUrl.'/login?method=POST&service='.urlencode($this->serviceUrl);
+	public function getSessionName() {
+		return $this->sessionName;
+	}
+	public function setSessionName($sessionName) {
+		$this->sessionName = $sessionName;
 	}
 	
-	public function logoutUrl() {
-		return $this->serverUrl.'/logout';
+	public function getMethod() {
+		return $this->method;
 	}
-	
-	public function logout() {
-		session_start();
-		if(isset($_SESSION['uphpCAS-user'])) {
-			unset($_SESSION['uphpCAS-user']);
+	public function setMethod($method) {
+		if($method != 'GET' && $method != 'POST') {
+			throw new DomainException('Unsupported CAS response'
+				.' method: '.$method);
 		}
-		header('Location: '.$this->logoutUrl());
-		die();
+		$this->method = $method;
+	}
+	
+	public function getCaFile() {
+		return $this->caFile;
+	}
+	public function setCaFile($caFile) {
+		if(!is_file($caFile)) {
+			throw new DomainException('Invalid CA file: '.$caFile);
+		}
+		$this->caFile = $caFile;
+	}
+	
+	public function loginUrl() {
+		return $this->serverUrl.'/login?method='.$this->method
+			.'&service='.urlencode($this->serviceUrl);
+	}
+	
+	public function logoutUrl($returnUrl = NULL) {
+		return $this->serverUrl.'/logout'
+			.($returnUrl ? '?service='.urlencode($returnUrl) : '');
+	}
+	
+	public function logoutLocal() {
+		@session_start();
+		unset($_SESSION[$this->sessionName]);
+	}
+	
+	public function logout($returnUrl = NULL) {
+		$this->logoutLocal();
+		if($this->isAuthenticated()) {
+			header('Location: '.$this->logoutUrl($returnUrl));
+			die();
+		} elseif($returnUrl) {
+			header('Location: '.$returnUrl);
+			die();
+		}
+	}
+	
+	public function isAuthenticated() {
+		return isset($_SESSION[$this->sessionName]);
 	}
 	
 	public function authenticate() {
-		session_start();
-		if(isset($_SESSION['uphpCAS-user'])) {
-			return $_SESSION['uphpCAS-user'];
+		@session_start();
+		if($this->isAuthenticated()) {
+			return $_SESSION[$this->sessionName];
 		} elseif(isset($_REQUEST['ticket'])) {
 			$user = $this->verifyTicket($_REQUEST['ticket']);
-			$_SESSION['uphpCAS-user'] = $user;
+			$_SESSION[$this->sessionName] = $user;
 			return $user;
 		} else {
 			header('Location: '.$this->loginUrl());
@@ -85,7 +156,25 @@
 		}
 	}
 	
-	public function verifyTicket($ticket) {
+	protected function findCaFile() {
+		$cafiles = array(
+			'/etc/ssl/certs/ca-certificates.crt',
+			'/etc/ssl/certs/ca-bundle.crt',
+			'/etc/pki/tls/certs/ca-bundle.crt',
+		);
+		
+		$cafile = NULL;
+		foreach($cafiles as $file) {
+			if(is_file($file)) {
+				$cafile = $file;
+				break;
+			}
+		}
+		
+		return $cafile;
+	}
+	
+	protected function createStreamContext($hostname) {
 		$context = array(
 			'http' => array(
 				'method' => 'GET',
@@ -101,31 +190,26 @@
 			),
 		);
 		
-		if(version_compare(PHP_VERSION, '5.6', '<')) {
-			$cafiles = array(
-				'/etc/ssl/certs/ca-certificates.crt',
-				'/etc/ssl/certs/ca-bundle.crt',
-				'/etc/pki/tls/certs/ca-bundle.crt',
-			);
-			$cafile = NULL;
-			foreach($cafiles as $file) {
-				if(is_file($file)) {
-					$cafile = $file;
-					break;
-				}
-			}
-			
-			$url = parse_url($this->serverUrl);
-			$context['ssl']['cafile'] = $cafile;
-			$context['ssl']['ciphers'] = 'ECDH:DH:AES:CAMELLIA:!SSLv2:!aNULL'
-					.':!eNULL:!EXPORT:!DES:!3DES:!MD5:!RC4:!ADH:!PSK:!SRP';
-			$context['ssl']['CN_match'] = $url['host'];
+		if($this->caFile) {
+			$context['ssl']['cafile'] = $this->caFile;
 		}
+		
+		if(version_compare(PHP_VERSION, '5.6', '<')) {
+			$context['ssl']['ciphers'] = 'ECDH:DH:AES:CAMELLIA:!SSLv2:!aNULL'
+				.':!eNULL:!EXPORT:!DES:!3DES:!MD5:!RC4:!ADH:!PSK:!SRP';
+			$context['ssl']['CN_match'] = $hostname;
+		}
+		
+		return stream_context_create($context);
+	}
+	
+	public function verifyTicket($ticket) {
+		$url = parse_url($this->serverUrl);
+		$context = $this->createStreamContext($url['host']);
 		
 		$data = file_get_contents($this->serverUrl
 					.'/serviceValidate?service='.urlencode($this->serviceUrl)
-					.'&ticket='.urlencode($ticket),
-				FALSE, stream_context_create($context));
+					.'&ticket='.urlencode($ticket), FALSE, $context);
 		if($data === FALSE) {
 			throw new JasigException('Authentication error: CAS server is unavailable');
 		}
@@ -147,15 +231,16 @@
 						break;
 				}
 			}
-		}
-		catch(Exception $e) {
-			throw new JasigException('Authentication error: CAS server'
-					.' response invalid - parse error', 0, $e);
-		} finally {
+		} catch(Exception $e) {
 			libxml_clear_errors();
 			libxml_disable_entity_loader($xmlEntityLoader);
 			libxml_use_internal_errors($xmlInternalErrors);
+			throw new JasigException('Authentication error: CAS server'
+					.' response invalid - parse error', 0, $e);
 		}
+		libxml_clear_errors();
+		libxml_disable_entity_loader($xmlEntityLoader);
+		libxml_use_internal_errors($xmlInternalErrors);
 		
 		$failure = $xml->getElementsByTagName('authenticationFailure');
 		$success = $xml->getElementsByTagName('authenticationSuccess');
@@ -182,7 +267,7 @@
 			}
 			
 			$user = trim($user->item(0)->textContent);
-			if(strlen($user)<1) {
+			if(strlen($user) < 1) {
 				throw new JasigException('Authentication error: CAS server'
 						.' response invalid - user value');
 			}
@@ -199,9 +284,7 @@
 			}
 			
 			return $jusr;
-		}
-		else
-		{
+		} else {
 			throw new JasigException('Authentication error: CAS server'
 					.' response invalid - required tag not found');
 		}

--
Gitblit v1.9.1