Make ISPLABUSER() work correctly even if we have not verified that the

user is actually logged in, so that it works correctly over http .

www/tbauth.php3

@@ -452,8 +452,8 @@ function ISPLABUSER() {
 	# For logged-in users, we recorded it in the the login status
 	#
 	return (($CHECKLOGIN_STATUS &
-		 (CHECKLOGIN_LOGGEDIN|CHECKLOGIN_PLABUSER)) ==
-		(CHECKLOGIN_LOGGEDIN|CHECKLOGIN_PLABUSER));
+		 (CHECKLOGIN_PLABUSER)) ==
+		(CHECKLOGIN_PLABUSER));
     }
 }