Authentification für Wawi

This commit is contained in:
Karl Burkhart
2010-10-27 07:54:59 +00:00
parent dfd5ac5aa5
commit a84d811447
+13
View File
@@ -0,0 +1,13 @@
<?php
session_start();
$path = dirname($_SERVER['PHP_SELF']);
if (!isset($_SESSION['user']) || $_SESSION['user']=='')
{
$_SESSION['request_uri']=$_SERVER['REQUEST_URI'];
header('Location: '.SERVER_ROOT.($path == '/' ? '' : $path).'/login.php');
exit;
}
?>