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