From 2f13b10fe8e467c5c226a97b70b80c6cf612dbc5 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <jkowalsk@student.agh.edu.pl>
Date: Tue, 25 Aug 2015 13:28:19 +0000
Subject: [PATCH] Minor formatting changes

---
 uphpCAS.php |   92 +++++++++++++++++++++++++++++++++-------------
 1 files changed, 66 insertions(+), 26 deletions(-)

diff --git a/uphpCAS.php b/uphpCAS.php
index 46dc3e2..40bddad 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 {
@@ -26,10 +26,12 @@
 			$port = 0;
 			if(isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on') {
 				$url = 'https://';
-				if(isset($_SERVER['SERVER_PORT']) && $_SERVER['SERVER_PORT'] != '443') {
+				if(isset($_SERVER['SERVER_PORT'])
+						&& $_SERVER['SERVER_PORT'] != '443') {
 					$port = $_SERVER['SERVER_PORT'];
 				}
-			} elseif(isset($_SERVER['SERVER_PORT']) && $_SERVER['SERVER_PORT'] != '80') {
+			} elseif(isset($_SERVER['SERVER_PORT'])
+					&& $_SERVER['SERVER_PORT'] != '80') {
 				$port = $_SERVER['SERVER_PORT'];
 			}
 			
@@ -44,10 +46,16 @@
 		}
 	}
 	
+	public function getServerUrl($serverUrl) {
+		return $this->serverUrl;
+	}
 	public function setServerUrl($serverUrl) {
 		$this->serverUrl = $serverUrl;
 	}
 	
+	public function getServiceUrl() {
+		return $this->serviceUrl;
+	}
 	public function setServiceUrl($serviceUrl) {
 		$this->serviceUrl = $serviceUrl;
 	}
@@ -56,8 +64,8 @@
 		return $this->serverUrl.'/login?method=POST&service='.urlencode($this->serviceUrl);
 	}
 	
-	public function logoutUrl() {
-		return $this->serverUrl.'/logout';
+	public function logoutUrl($returnUrl = NULL) {
+		return $this->serverUrl.'/logout'.($returnUrl ? '?service='.urlencode($returnUrl) : '');
 	}
 	
 	public function logout() {
@@ -69,9 +77,13 @@
 		die();
 	}
 	
+	public function isAuthenticated() {
+		return isset($_SESSION['uphpCAS-user']);
+	}
+	
 	public function authenticate() {
 		session_start();
-		if(isset($_SESSION['uphpCAS-user'])) {
+		if($this->isAuthenticated()) {
 			return $_SESSION['uphpCAS-user'];
 		} elseif(isset($_REQUEST['ticket'])) {
 			$user = $this->verifyTicket($_REQUEST['ticket']);
@@ -92,13 +104,37 @@
 			),
 			'ssl' => array(
 				'verify_peer' => TRUE,
-				'allow_self_signed' => FALSE,
+				'verify_peer_name' => TRUE,
 				'verify_depth' => 5,
-				'ciphers' => 'HIGH:-MD5:-aNULL:-DES',
+				'allow_self_signed' => FALSE,
+				'disable_compression' => TRUE,
 			),
 		);
 		
-		$data = file_get_contents($this->serverUrl.'/serviceValidate?service='.urlencode($this->serviceUrl).'&ticket='.urlencode($ticket),
+		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'];
+		}
+		
+		$data = file_get_contents($this->serverUrl
+					.'/serviceValidate?service='.urlencode($this->serviceUrl)
+					.'&ticket='.urlencode($ticket),
 				FALSE, stream_context_create($context));
 		if($data === FALSE) {
 			throw new JasigException('Authentication error: CAS server is unavailable');
@@ -111,19 +147,19 @@
 			$xml->loadXML($data);
 			
 			foreach(libxml_get_errors() as $error) {
-				$e = new ErrorException($error->message, $error->code, 1, $error->file, $error->line);
+				$e = new ErrorException($error->message, $error->code, 1,
+						$error->file, $error->line);
 				switch ($error->level) {
 					case LIBXML_ERR_ERROR:
-						throw new Exception('Fatal error during XML parsing', 0, $e);
-						break;
 					case LIBXML_ERR_FATAL:
-						throw new Exception('Fatal error during XML parsing', 0, $e);
+						throw new Exception('Fatal error during XML parsing',
+								0, $e);
 						break;
 				}
 			}
-		}
-		catch(Exception $e) {
-			throw new JasigException('Authentication error: CAS server response invalid - parse error', 0, $e);
+		} catch(Exception $e) {
+			throw new JasigException('Authentication error: CAS server'
+					.' response invalid - parse error', 0, $e);
 		} finally {
 			libxml_clear_errors();
 			libxml_disable_entity_loader($xmlEntityLoader);
@@ -136,23 +172,28 @@
 		if($failure->length > 0) {
 			$failure = $failure->item(0);
 			if(!($failure instanceof DOMElement)) {
-				throw new JasigException('Authentication error: CAS server response invalid - authenticationFailure');
+				throw new JasigException('Authentication error: CAS server'
+						.' response invalid - authenticationFailure');
 			}
-			throw new JasigAuthException('Authentication error: '.$failure->textContent);
+			throw new JasigAuthException('Authentication error: '
+					.$failure->textContent);
 		} elseif($success->length > 0) {
 			$success = $success->item(0);
 			if(!($success instanceof DOMElement)) {
-				throw new JasigException('Authentication error: CAS server response invalid - authenticationSuccess');
+				throw new JasigException('Authentication error: CAS server'
+						.' response invalid - authenticationSuccess');
 			}
 			
 			$user = $success->getElementsByTagName('user');
 			if($user->length == 0) {
-				throw new JasigException('Authentication error: CAS server response invalid - user');
+				throw new JasigException('Authentication error: CAS server'
+						.' response invalid - user');
 			}
 			
 			$user = trim($user->item(0)->textContent);
-			if(strlen($user)<1) {
-				throw new JasigException('Authentication error: CAS server response invalid - user value');
+			if(strlen($user) < 1) {
+				throw new JasigException('Authentication error: CAS server'
+						.' response invalid - user value');
 			}
 			
 			$jusr = new JasigUser();
@@ -167,10 +208,9 @@
 			}
 			
 			return $jusr;
-		}
-		else
-		{
-			throw new JasigException('Authentication error: CAS server response invalid - required tag not found');
+		} else {
+			throw new JasigException('Authentication error: CAS server'
+					.' response invalid - required tag not found');
 		}
 	}
 }

--
Gitblit v1.9.1