logout für wawi

This commit is contained in:
Karl Burkhart
2010-10-27 07:54:30 +00:00
parent 42cd49793c
commit dfd5ac5aa5
+26
View File
@@ -0,0 +1,26 @@
<?php
session_start();
session_destroy();
$hostname = $_SERVER['HTTP_HOST'];
$path = dirname($_SERVER['PHP_SELF']);
echo "Sie wurden erfolgreich ausgeloggt!!<br> Sie werden sofort weitergeleitet! ";
// header('Location: http://'.$hostname.($path == '/' ? '' : $path).'/login.php');
?>
<html>
<head>
<title>logout</title>
</head>
<body>
<script type="text/javascript"></script>
<script> function login() {
document.location="login.php";
}
window.setTimeout("login()", 3000);
</script>
</body>
</html>