optional login form/http basic auth support

[tt-rss.git] / prefs.php

diff --git a/prefs.php b/prefs.php
index 73081c7cacb01bcb9982204f63b51421bd394a5f..837cf584f051cc8909757924807268f49d4aac2b 100644 (file)
--- 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