| 
<?php
 function storeTicket($ticket, $path, $value ) {
 
 if (!is_dir($path))
 throw new Exception('Directory for CAS Server ticket storage [' . $path . '] does not exists. ');
 
 if (!is_writable($path))
 throw new Exception('Directory for CAS Server ticket storage [' . $path . '] is not writable. ');
 
 $filename = $path . '/' . $ticket;
 file_put_contents($filename, serialize($value));
 }
 
 function retrieveTicket($ticket, $path, $unlink = true) {
 
 if (!preg_match('/^(ST|PT|PGT)-?[a-zA-Z0-9]+$/D', $ticket)) throw new Exception('Invalid characters in ticket');
 
 if (!is_dir($path))
 throw new Exception('Directory for CAS Server ticket storage [' . $path . '] does not exists. ');
 
 $filename = $path . '/' . $ticket;
 
 if (!file_exists($filename))
 throw new Exception('Could not find ticket');
 
 $content = file_get_contents($filename);
 
 if ($unlink) {
 unlink($filename);
 }
 
 return unserialize($content);
 }
 
 function checkServiceURL($service, array $legal_service_urls) {
 foreach ($legal_service_urls AS $legalurl) {
 if (strpos($service, $legalurl) === 0) return TRUE;
 }
 return FALSE;
 }
 
 ?>
 |