Kludgy fix to cookies problem. Append a suffix, defined in the various

defs file. For mini, revert the domain back to .emulab.net and set the
suffix to "-mini". For the others, default it to "" to avoid
invalidating current users and logins. Tested with opera, and seems to
work okay now.

www/default-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/defs.php3.in

@@ -22,8 +22,8 @@ $TBPROJ_DIR     = "/proj";
 $TBUSER_DIR	= "/users";
 $TBNSSUBDIR     = "nsdir";
 
-$TBAUTHCOOKIE   = "HashCookie";
-$TBNAMECOOKIE   = "MyUidCookie";
+$TBAUTHCOOKIE   = "HashCookie" . $TBCOOKIESUFFIX;
+$TBNAMECOOKIE   = "MyUidCookie" . $TBCOOKIESUFFIX;
 $TBAUTHTIMEOUT  = 21600;
 
 $HTTPTAG        = "http://";

www/mini-defs.php3

@@ -7,8 +7,9 @@ $WWW            = "$WWWHOST";
 $TBBASE         = "https://$WWW";
 $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
-$TBAUTHDOMAIN   = ".mini.emulab.net";
+$TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "-mini";
 
 #
 # Title Page stuff.

www/neo-paper-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = "neo-paper.emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/newbold-emulab-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/ricci-emulab-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/ricci-neo-paper-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = "neo-paper.emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/stoller-emulab-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = ".emulab.net";
 $TBSECURECOOKIES= 1;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.

www/stoller-home-defs.php3

@@ -9,6 +9,7 @@ $TBDOCBASE      = "http://$WWW";
 $TBWWW          = "<$TBBASE/>";
 $TBAUTHDOMAIN   = ".ballmoss.com";
 $TBSECURECOOKIES= 0;
+$TBCOOKIESUFFIX = "";
 
 #
 # Title Page stuff.