tickets.php

Go to the documentation of this file.

<?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;
}