<?php
try {
if (!isset($_GET['SourceID'])) {
throw new SimpleSAML_Error_BadRequest('Missing SourceID parameter');
}
$sourceId = $_GET['SourceID'];
$as = new SimpleSAML_Auth_Simple($sourceId);
if ($as->isAuthenticated()) {
$as->logout();
}
header('Content-Type: text/plain; charset=utf-8');
echo("OK\n");
} catch (Exception $e) {
header('HTTP/1.0 500 Internal Server Error');
header('Content-Type: text/plain; charset=utf-8');
echo("ERROR\n");
echo($e->getMessage() . "\n");
}
|