ricci-neo-paper-defs.php3 721 Bytes
Newer Older
1 2 3 4
<?php
#
# Rob's definitions. Selected via configure.
#
5 6
$WWWHOST        = "neo-paper.emulab.net";
$WWW            = "$WWWHOST/~ricci/www";
7 8 9 10 11
$TBBASE         = "https://$WWW";
$TBDOCBASE      = "http://$WWW";
$TBWWW          = "<$TBBASE/>";
$TBAUTHDOMAIN   = "neo-paper.emulab.net";
$TBSECURECOOKIES= 1;
12 13 14 15 16 17 18 19 20

$TBMAILADDR_OPS		= "ricci@fast.cs.utah.edu";
$TBMAIL_OPS		= "Ricci Testbed Ops <$TBMAILADDR_OPS>";
$TBMAILADDR_WWW		= "ricci@fast.cs.utah.edu";
$TBMAIL_WWW		= "Ricci Testbed WWW <$TBMAILADDR_WWW>";
$TBMAILADDR_APPROVAL	= "ricci@fast.cs.utah.edu";
$TBMAIL_APPROVAL	= "Ricci Testbed Approval <$TBMAILADDR_APPROVAL>";
$TBMAILADDR_LOGS	= "ricci@fast.cs.utah.edu";
$TBMAIL_LOGS		= "Ricci Testbed Logs <$TBMAILADDR_LOGS>";
21
?>