Details | Letzte Änderung | Log anzeigen | RSS feed
<?
if (isset($_GET["killSession"]))
{
foreach(array_keys($_SESSION) as $elem)
if ($elem != "INI")
unset($_SESSION[$elem]);
}
?>