Go to the source code of this file.
◆ checkServiceURL()
checkServiceURL |
( |
|
$service, |
|
|
array |
$legal_service_urls |
|
) |
| |
◆ retrieveTicket()
retrieveTicket |
( |
|
$ticket, |
|
|
|
$path, |
|
|
|
$unlink = true |
|
) |
| |
Definition at line 15 of file tickets.php.
References $filename, and $path.
17 if (!preg_match(
'/^(ST|PT|PGT)-?[a-zA-Z0-9]+$/D', $ticket))
throw new Exception(
'Invalid characters in ticket');
20 throw new Exception(
'Directory for CAS Server ticket storage [' .
$path .
'] does not exists. ');
25 throw new Exception(
'Could not find ticket');
33 return unserialize($content);
◆ storeTicket()
storeTicket |
( |
|
$ticket, |
|
|
|
$path, |
|
|
|
$value |
|
) |
| |
Definition at line 3 of file tickets.php.
References $filename, and $path.
6 throw new Exception(
'Directory for CAS Server ticket storage [' .
$path .
'] does not exists. ');
8 if (!is_writable(
$path))
9 throw new Exception(
'Directory for CAS Server ticket storage [' .
$path .
'] is not writable. ');
12 file_put_contents(
$filename, serialize($value));