--- webserver_auth.module	2008-03-10 14:43:42.000000000 -0700
+++ webserver_authNew.module	2008-03-18 17:28:50.582206800 -0700
@@ -19,7 +19,7 @@ function webserver_auth_init() {
   global $user, $account;
 
   // two ways to get $name
-  if ($name != $_SERVER["REMOTE_USER"]) {
+  if (!$name = $_SERVER["REMOTE_USER"]) {
     $name = $_SERVER["REDIRECT_REMOTE_USER"];
   }