Better login

diff --git a/lib/setup.php b/lib/setup.php
index 2d3f556f5d4e12674f5608c443e2c7b2ab4c5ee7..ccb47b42ca59b173fdad52e73a8ddc9fb6a114a8 100644 (file)
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -268,7 +268,10 @@
         if (empty($_SESSION['USER'])) {      // Allow W3CValidator in as user called w3cvalidator (or guest)
             if ((strpos($_SERVER['HTTP_USER_AGENT'], 'W3C_Validator') !== false) or 
                 (strpos($_SERVER['HTTP_USER_AGENT'], 'Cynthia') !== false )) {
-                if (!$USER = get_user_info_from_db("username", "w3cvalidator")) {
+                if ($USER = get_user_info_from_db("username", "w3cvalidator")) {
+                    $USER->loggedin = true;
+                    $USER->site = $CFG->wwwroot;
+                } else {
                     $USER = guest_user();
                 }
             }