summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2005-11-18 07:21:24 +0100
committerAndrew Dolgov <[email protected]>2005-11-18 07:21:24 +0100
commitc8437f35c62f0ad12eee5d4b2ac075c44d7ed2c7 (patch)
tree6b8c41f78785dc2ff6a35c09fa600b82597cf400 /prefs.php
parent1c7f75ed2c8e0c914bba2134158e483aa1c3af40 (diff)
optional login form/http basic auth support
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php10
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