1 files changed, 8 insertions, 2 deletions
diff --git a/prefs.php b/prefs.php
index 73081c7ca..837cf584f 100644
--- a/prefs.php
+++ b/prefs.php
@@ -8,8 +8,14 @@
 
 	$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);	
 
-//	$_SESSION["uid"] = PLACEHOLDER_UID; // FIXME: placeholder
-//	$_SESSION["name"] = PLACEHOLDER_NAME;
+	if (!USE_HTTP_AUTH) {
+		if (!$_SESSION["uid"]) {
+			header("Location: login.php");
+			exit;
+		}
+	} else {
+		authenticate_user($link);
+	}
 
 	initialize_user_prefs($link, $_SESSION["uid"]); 
 	// FIXME this needs to be moved somewhere after user creation