--- webserver_auth.module	2008-08-07 11:38:49.000000000 -0500
+++ webserver_auth.module_FIXED	2010-06-15 17:05:12.000000000 -0500
@@ -22,6 +22,7 @@
 function webserver_auth_init() {
   global $user;
 
+  unset($user);
   $authname = '';
 
   // Make sure we get the remote user whichever way it is available.