this file had minibed stuff instead of main emulab ones

www/shash-emulab-defs.php3

@@ -2,12 +2,12 @@
 #
 # Shashi's definitions. Selected via configure.
 #
-$WWWHOST        = "www.mini.emulab.net";
+$WWWHOST        = "www.emulab.net";
 $WWW            = "$WWWHOST/~shash/www";
 $TBBASE         = "https://$WWW";
 $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
-$TBAUTHDOMAIN   = ".mini.emulab.net";
+$TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
 $TBCOOKIESUFFIX = "";