Added a www defs file for the mini-testbed, and moved all mail address

so they'll have an address distinct from the 'classic' testbed lists.

defs-mini

@@ -5,9 +5,9 @@
 # be sure to go and update configure.in.
 #
 TBDBNAME=tbdb
-WWWDEFS=default
-TBOPSEMAIL='Testbed Operations <testbed-ops@flux.cs.utah.edu>'
-TBLOGSEMAIL=testbed-logs@flux.cs.utah.edu
+WWWDEFS=mini
+TBOPSEMAIL=minitestbed-ops@flux.cs.utah.edu
+TBLOGSEMAIL=minitestbed-logs@flux.cs.utah.edu
 IPBASE=192.168
 DELAYCAPACITY=2
 BOSSNODE=boss.mini.emulab.net

www/mini-defs.php3

+<?php
+#
+# Default definitions. Selected via configure.
+# 
+$WWWHOST        = "www.mini.emulab.net";
+$WWW            = "$WWWHOST";
+$TBBASE         = "https://$WWW";
+$TBDOCBASE      = "http://$WWW";
+$TBWWW          = "<$TBBASE/>";
+$TBAUTHDOMAIN   = "mini.emulab.net";
+$TBSECURECOOKIES= 1;
+
+$TBMAILADDR_OPS		= "minitestbed-ops@flux.cs.utah.edu";
+$TBMAIL_OPS		= "Testbed Ops <$TBMAILADDR_OPS>";
+$TBMAILADDR_WWW		= "minitestbed-www@flux.cs.utah.edu";
+$TBMAIL_WWW		= "Testbed WWW <$TBMAILADDR_WWW>";
+$TBMAILADDR_APPROVAL	= "minitestbed-approval@flux.cs.utah.edu";
+$TBMAIL_APPROVAL	= "Testbed Approval <$TBMAILADDR_APPROVAL>";
+$TBMAILADDR_LOGS	= "minitestbed-logs@flux.cs.utah.edu";
+$TBMAIL_LOGS		= "Testbed Logs <$TBMAILADDR_LOGS>";
+$TBMAILADDR_AUDIT	= "minitestbed-audit@flux.cs.utah.edu";
+$TBMAIL_AUDIT		= "Testbed Audit <$TBMAILADDR_AUDIT>";
+?>