Hmm, what happened to last revision? Well, I was doing it from my

laptop, so something (or someone!) screwed up, so here is that change
again.

www/index.php3

@@ -10,7 +10,7 @@ require("defs.php3");
 # The point of this is to redirect logged in users to their My Emulab
 # page. 
 #
-if (($uid = GETUID())) {
+if (!isset($stayhome) && ($uid = GETUID())) {
     $check_status = CHECKLOGIN($uid) & CHECKLOGIN_STATUSMASK;
 
     if (!isset($stayhome) && $check_status == CHECKLOGIN_LOGGEDIN) {