From 2a36a94d6e9ddf25a80b1d1e6e20bd4e4e3c7a73 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20=C3=96sterreicher?= Date: Thu, 3 Feb 2011 07:57:42 +0000 Subject: [PATCH] --- wawi/login.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/wawi/login.php b/wawi/login.php index b07fd10bd..cfe765298 100644 --- a/wawi/login.php +++ b/wawi/login.php @@ -44,6 +44,8 @@ if (isset($_POST['username'])) else $path = dirname($_SERVER['PHP_SELF']).'/index.php'; + if(substr($path,0,1)=='/') + $path=substr($path,1); //echo 'REDIRECT TO '.SERVER_ROOT.$path; //echo "user: ".$_SESSION['user']; header('Location: '.SERVER_ROOT.$path);