86400, // 86400s sind 24h ]); session_regenerate_id(); // Falls der serverseitige Logincookie nicht gesetzt ist, leite zur if (empty($_SESSION['login'])) { header('Location: http://' . $_SERVER['HTTP_HOST'] . $wkParticipoConf['rootDir'] . '/login.php', TRUE, 301); exit; } else { $login_status = "

". "Datum: ".date("Y-m-d")."
". "Sie sind als ".htmlspecialchars($_SESSION['user']['username'])." angemeldet.
". "Sitzung beenden". "

"; } ?>