diff -r 700a3674b72e -r cb06e3e29ed8 inc/auth.inc.php
--- a/inc/auth.inc.php	Thu Apr 03 18:57:11 2008 +0000
+++ b/inc/auth.inc.php	Thu Apr 03 21:48:36 2008 +0000
@@ -53,7 +53,7 @@
 			$rowObj = $result->fetchRow();
 			$_SESSION["userid"] = $rowObj["id"];
 			$_SESSION["name"] = $rowObj["fullname"];
-			if($_POST["authenticate"])
+			if(isset($_POST["authenticate"]))
 			{
 				//If a user has just authenticated, redirect him to index with timestamp, so post-data gets lost.
 				session_write_close();