defs.php3.in 15.5 KB
Newer Older
1 2
<?php
#
3
# EMULAB-COPYRIGHT
Mike Hibler's avatar
Mike Hibler committed
4
# Copyright (c) 2000-2010 University of Utah and the Flux Group.
5 6
# All rights reserved.
#
7 8 9 10 11
# Lets emulate register_globals=off for a while.
include("unregister_globals.php");

#
# Standard definitions.
12
#
13
$TBDIR          = "@prefix@/";
14
$OURDOMAIN      = "@OURDOMAIN@";
15
$BOSSNODE       = "@BOSSNODE@";
16
$USERNODE       = "@USERNODE@";
Leigh B. Stoller's avatar
Leigh B. Stoller committed
17
$CVSNODE	= "cvs.${OURDOMAIN}";
18
$WIKINODE	= $USERNODE;
19
$TBADMINGROUP   = "@TBADMINGROUP@";
20 21 22 23 24 25 26
$WWWHOST	= "@WWWHOST@";
$WWW		= "@WWW@";
$TBAUTHDOMAIN	= "@TBAUTHDOMAIN@";
$TBBASE		= "@TBBASE@";
$TBDOCBASE	= "@TBDOCBASE@";
$TBWWW		= "@TBWWW@";
$THISHOMEBASE	= "@THISHOMEBASE@";
27
$ELABINELAB     = @ELABINELAB@;
28
$PLABSUPPORT    = @PLABSUPPORT@;
Kevin Atkinson's avatar
 
Kevin Atkinson committed
29
$PUBSUPPORT     = @PUBSUPPORT@;
30
$WIKISUPPORT    = @WIKISUPPORT@;
31
$TRACSUPPORT    = @TRACSUPPORT@;
32
$BUGDBSUPPORT   = @BUGDBSUPPORT@;
33
$CVSSUPPORT     = @CVSSUPPORT@;
34
$MAILMANSUPPORT = @MAILMANSUPPORT@;
35
$CHATSUPPORT    = @CHATSUPPORT@;
36
$PROTOGENI      = @PROTOGENI_SUPPORT@;
37
$EXP_VIS        = @EXP_VIS_SUPPORT@;
38
$ISOLATEADMINS  = @ISOLATEADMINS@;
39
$CONTROL_NETWORK= "@CONTROL_NETWORK@";
40
$CONTROL_NETMASK= "@CONTROL_NETMASK@";
Leigh B. Stoller's avatar
Leigh B. Stoller committed
41 42
$WIKIHOME       = "https://${USERNODE}/twiki";
$WIKIURL        = "${WIKIHOME}/bin/newlogon";
43
$WIKICOOKIENAME = "WikiCookie";
44 45
$BUGDBURL       = "https://${USERNODE}/flyspray";
$BUGDBCOOKIENAME= "FlysprayCookie";
46
$TRACCOOKIENAME = "TracCookie";
47
$MAILMANURL     = "http://${USERNODE}/mailman";
48
$OPSCVSURL      = "http://${USERNODE}/cvsweb/cvsweb.cgi";
49
$OPSJETIURL     = "http://${USERNODE}/jabber/jeti.php";
50
$WIKIDOCURL     = "http://${WIKINODE}/wikidocs/wiki";
51 52
$MIN_UNIX_UID   = @MIN_UNIX_UID@;
$MIN_UNIX_GID   = @MIN_UNIX_GID@;
Leigh B. Stoller's avatar
Leigh B. Stoller committed
53
$EXPOSELINKTEST = 1;
54
$EXPOSESTATESAVE= 0;
55
$EXPOSEARCHIVE  = 0;
56
$EXPOSETEMPLATES= 0;
57
$USERSELECTUIDS = 1;
58
$REMOTEWIKIDOCS = @REMOTEWIKIDOCS@;
59
$GMAP_API_KEY   = "@GMAP_API_KEY@";
60

61 62 63 64 65 66
$TBMAILADDR_OPS		= "@TBOPSEMAIL_NOSLASH@";
$TBMAILADDR_WWW		= "@TBWWWEMAIL_NOSLASH@";
$TBMAILADDR_APPROVAL	= "@TBAPPROVALEMAIL_NOSLASH@";
$TBMAILADDR_LOGS	= "@TBLOGSEMAIL_NOSLASH@";
$TBMAILADDR_AUDIT	= "@TBAUDITEMAIL_NOSLASH@";

67 68 69 70 71
# Can override this in the defs file. 
$TBAUTHTIMEOUT  = "@TBAUTHTIMEOUT@";
$TBMAINSITE     = "@TBMAINSITE@";
$TBSECURECOOKIES= "@TBSECURECOOKIES@";
$TBCOOKIESUFFIX = "@TBCOOKIESUFFIX@";
72
$FANCYBANNER    = "@FANCYBANNER@";
73

Leigh B. Stoller's avatar
Leigh B. Stoller committed
74 75
$TBWWW_DIR	= "$TBDIR"."www/";
$TBBIN_DIR	= "$TBDIR"."bin/";
76
$TBETC_DIR	= "$TBDIR"."etc/";
77 78 79
$TBLIBEXEC_DIR	= "$TBDIR"."libexec/";
$TBSUEXEC_PATH  = "$TBLIBEXEC_DIR/suexec";
$TBCHKPASS_PATH = "$TBLIBEXEC_DIR/checkpass";
80
$TBCSLOGINS     = "$TBETC_DIR/cslogins";
Mike Hibler's avatar
Mike Hibler committed
81
$UUIDGEN_PATH   = "@UUIDGEN@";
82

83 84
#
# Hardcoded check against $WWWHOST, to prevent anyone from accidentally setting
85
# $TBMAINSITE when it should not be
86 87 88 89 90
#
if ($WWWHOST != "www.emulab.net") {
    $TBMAINSITE = 0;
}

91 92 93 94 95 96 97 98 99 100 101 102 103 104
#
# The wiki docs either come from the local node, or in most cases
# they are redirected back to Utah's emulab.
#
if ($TBMAINSITE) {
    $WIKIDOCURL  = "https://${WIKINODE}/wikidocs/wiki";
}
elseif ($REMOTEWIKIDOCS) {
    $WIKIDOCURL  = "https://wiki.emulab.net/wikidocs/wiki";
}
else {
    $WIKIDOCURL  = "/wikidocs/wiki";
}

105 106 107 108
$TBPROJ_DIR     = "@PROJROOT_DIR@";
$TBUSER_DIR	= "@USERSROOT_DIR@";
$TBGROUP_DIR	= "@GROUPSROOT_DIR@";
$TBSCRATCH_DIR	= "@SCRATCHROOT_DIR@";
109
$TBCVSREPO_DIR  = "$TBPROJ_DIR/cvsrepos";
Leigh B. Stoller's avatar
Leigh B. Stoller committed
110
$TBNSSUBDIR     = "nsdir";
Leigh B. Stoller's avatar
Leigh B. Stoller committed
111

112 113 114 115 116 117 118
$TBVALIDDIRS	  = "$TBPROJ_DIR, $TBUSER_DIR, $TBGROUP_DIR";
$TBVALIDDIRS_HTML = "<code>$TBPROJ_DIR</code>, <code>$TBUSER_DIR</code>, <code>$TBGROUP_DIR</code>";
if ($TBSCRATCH_DIR) {
    $TBVALIDDIRS .= ", $TBSCRATCH_DIR";
    $TBVALIDDIRS_HTML .= ", <code>$TBSCRATCH_DIR</code>";
}

119 120
$TBAUTHCOOKIE   = "NewHashCookie" . $TBCOOKIESUFFIX;
$TBNAMECOOKIE   = "NewMyUidCookie" . $TBCOOKIESUFFIX;
121
$TBEMAILCOOKIE  = "MyEmailCookie" . $TBCOOKIESUFFIX;
122
$TBLOGINCOOKIE  = "NewLoginCookie" . $TBCOOKIESUFFIX;
123

124 125
$HTTPTAG        = "http://";

126 127 128 129 130
$TBMAIL_OPS		= "Testbed Ops <$TBMAILADDR_OPS>";
$TBMAIL_WWW		= "Testbed WWW <$TBMAILADDR_WWW>";
$TBMAIL_APPROVAL	= "Testbed Approval <$TBMAILADDR_APPROVAL>";
$TBMAIL_LOGS		= "Testbed Logs <$TBMAILADDR_LOGS>";
$TBMAIL_AUDIT		= "Testbed Audit <$TBMAILADDR_AUDIT>";
131
$TBMAIL_NOREPLY		= "no-reply@$OURDOMAIN";
132

133
#
134 135 136
# This just spits out an email address in a page, so it does not need
# to be configured per development tree. It could be though ...
# 
137 138
$TBMAILADDR     = "<a href=\"mailto:$TBMAILADDR_OPS\">
                      Testbed Operations ($TBMAILADDR_OPS)</a>";
139

140 141 142
# So subscripts always know ...
putenv("HTTP_SCRIPT=1");

143 144 145 146 147 148
#
# Special headers alterting browsers to the fact that there's an RSS feed
# available for the page. Intended to be passed as an $extra_headers argument
# to PAGEHEADER
#
$RSS_HEADER_NEWS = "<link rel=\"alternate\" type=\"application/rss+xml\" " .
149
           "title=\"Emulab News\" href=\"$TBDOCBASE/news-rss.php3?protogeni=0\" />";
150

151 152 153
$RSS_HEADER_PGENINEWS =
   "<link rel=\"alternate\" type=\"application/rss+xml\" " .
   "title=\"ProtoGeni News\" href=\"$TBDOCBASE/news-rss.php3?protogeni=1\"/>";
154

155 156 157 158
#
# Database constants and the like.
#
include("dbdefs.php3");
159
include("url_defs.php");
160 161 162
include("user_defs.php");
include("group_defs.php");
include("project_defs.php");
163
include("experiment_defs.php");
164

165 166 167 168 169 170 171 172
#
# Control how error messages are returned to the user. If the session is
# not actually "interactive" then do not send any output to the browser.
# Just save it up and let the page deal with it. 
#
$session_interactive  = 1;
$session_errorhandler = 0;

173 174 175 176 177 178 179 180 181
#
# Wrap up the mail function so we can prepend a tag to the subject
# line that indicates what testbed. Useful when multiple testbed
# email to the same list.
#
# 
function TBMAIL($to, $subject, $message, $headers = 0)
{
    global $THISHOMEBASE;
182
    global $SCRIPT_NAME;
183 184 185

    $subject = strtoupper($THISHOMEBASE) . ": $subject";

186 187 188 189 190 191 192 193 194
    $tag = "X-NetBed: " . basename($SCRIPT_NAME);
    
    if ($headers) {
	$headers = "$headers\n" . $tag;
    }
    else {
	$headers = $tag;
    }
    return mail($to, $subject, $message, $headers);
195 196
}

197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231
#
#
# Identical to perl function of the same name
#
#
function SendProjAdminMail($proj, $from, $to, $subject, $message, $headers = "")
{
    global $MAILMANSUPPORT, $TBMAIL_APPROVAL, $TBMAIL_AUDIT, $OURDOMAIN, $TBMAIL_WWW;
    $projadminmail = $MAILMANSUPPORT ? "$proj-admin@$OURDOMAIN" : $TBMAIL_APPROVAL;
    if ($headers) {
        $headers .= "\n";
    }
    if ($from == 'ADMIN') {
	$from = $projadminmail;
	$headers .= "Bcc: $projadminmail\n";
    } elseif ($to == 'ADMIN') {
	$to = $projadminmail;
	$headers .= "Reply-To: $projadminmail\n";
    } else {
	$headers .= "Bcc: $projadminmail\n";
    }
    $headers .= "From: $from\n";
    if ($from == 'AUDIT') {
	$from = $TBMAIL_AUDIT;
	$headers .= "Bcc: $TBMAIL_AUDIT\n";
    } elseif ($to == "AUDIT") {
	$to = $TBMAIL_AUDIT;
    } else {
	$headers .= "Bcc: $TBMAIL_AUDIT\n";
    }
    $headers .= "Errors-To: $TBMAIL_WWW\n"; # FIXME: Why?
    $headers = substr($headers, 0, -1);
    TBMAIL($to, $subject, $message, $headers);
}

232 233 234 235 236
#
# Internal errors should be reported back to the user simply. The actual 
# error information should be emailed to the list for action. The script
# should then terminate if required to do so.
#
Leigh B. Stoller's avatar
Leigh B. Stoller committed
237
function TBERROR ($message, $death, $xmp = 0) {
238 239 240
    global $TBMAIL_WWW, $TBMAIL_OPS, $TBMAILADDR, $TBMAILADDR_OPS;
    global $session_interactive, $session_errorhandler;
    $script = urldecode($_SERVER['REQUEST_URI']);
241

242 243
    CLEARBUSY();

244 245
    TBMAIL($TBMAIL_OPS,
         "WEB ERROR REPORT",
246
         "\n".
247
	 "In $script\n\n".
248 249 250
         "$message\n\n".
         "Thanks,\n".
         "Testbed WWW\n",
251
         "From: $TBMAIL_OPS\n".
252
         "Errors-To: $TBMAIL_WWW");
253

254
    if ($death) {
255 256 257 258 259 260 261
	if ($session_interactive)
	    PAGEERROR("Could not continue. Please contact $TBMAILADDR");
	elseif ($session_errorhandler) {
	    $session_errorhandler("Could not continue. ".
				  "Please contact $TBMAILADDR_OPS", $death);
	}
	exit(1);
262 263 264
    }
    return 0;
}
Leigh B. Stoller's avatar
Leigh B. Stoller committed
265 266

#
267 268 269 270 271
# General user errors should print something warm and fuzzy.  If a
# header is not already printed and the dealth paramater is true, then
# assume the error is a precheck error and send an appropriate HTTP
# response to prevent robots from indexing the page.  This currently
# defaults to a "400 Bad Request", but that may change in the future.
Leigh B. Stoller's avatar
Leigh B. Stoller committed
272
#
273 274
function USERERROR($message, $death = 1, 
	           $status_code = HTTP_400_BAD_REQUEST) {
275
    global $TBMAILADDR;
276 277
    global $session_interactive, $session_errorhandler;

278 279
    CLEARBUSY();

280 281 282 283 284 285 286 287 288 289
    if (! $session_interactive) {
	if ($session_errorhandler)
	    $session_errorhandler($message, $death);
	else
	    echo "$message";

	if ($death)
	    exit(1);
	return;
    }
290

291
    $msg = "<font size=+1><br>
292
            $message
293
      	    </font>
294
            <br><br><br>
295 296 297
            <font size=-1>
            Please contact $TBMAILADDR if you feel this message is an error.
            </font>\n";
298

Leigh B. Stoller's avatar
Leigh B. Stoller committed
299
    if ($death) {
300
	PAGEERROR($msg, $status_code);
Leigh B. Stoller's avatar
Leigh B. Stoller committed
301
    }
302 303
    else
        echo "$msg\n";
Leigh B. Stoller's avatar
Leigh B. Stoller committed
304 305
}

306 307 308 309 310 311 312 313
#
# A form error.
#
function FORMERROR($field) {
    USERERROR("Missing field; ".
              "Please go back and fill out the \"$field\" field!", 1);
}

314 315 316
#
# A page argument error. 
# 
317
function PAGEARGERROR($msg = 0) {
318 319
    $default = "Invalid page arguments: " .
          	htmlspecialchars($_SERVER['REQUEST_URI']);
320 321 322 323

    if ($msg) {
	$default = "$default<br><br>$msg";
    }
324
    USERERROR($default, 1, HTTP_400_BAD_REQUEST);
325 326
}

327
#
328
# SUEXEC stuff.
329
#
330 331
# Save this stuff so we can generate better error messages and such.
# 
332 333 334 335
$suexec_cmdandargs   = "";
$suexec_retval       = 0;
$suexec_output       = "";
$suexec_output_array = null;
336

337 338 339 340 341 342 343
#
# Actions for suexec. 
#
define("SUEXEC_ACTION_CONTINUE",	0);
define("SUEXEC_ACTION_DIE",		1);
define("SUEXEC_ACTION_USERERROR",	2);
define("SUEXEC_ACTION_IGNORE",		3);
344
define("SUEXEC_ACTION_DUPDIE",		4);
345 346
# SUEXEC_ACTION_MAIL_TBLOGS to be ored with one of the above actions
define("SUEXEC_ACTION_MAIL_TBLOGS",     64);
347

348 349 350 351 352
#
# An suexec error.
#
function SUEXECERROR($action)
{
353
    global $suexec_cmdandargs, $suexec_retval;
354
    global $suexec_output;
355

356 357
    $foo  = "Shell Program Error. Exit status: $suexec_retval\n";
    $foo .= "  '$suexec_cmdandargs'\n";
358 359 360
    $foo .= "\n";
    $foo .= $suexec_output;

361 362
    switch ($action) {
    case SUEXEC_ACTION_CONTINUE:
363
	TBERROR($foo, 0, 1);
364 365 366 367 368 369 370 371 372
        break;
    case SUEXEC_ACTION_DIE:
	TBERROR($foo, 1, 1);
        break;
    case SUEXEC_ACTION_USERERROR:
	USERERROR("<XMP>$foo</XMP>", 1);
        break;
    case SUEXEC_ACTION_IGNORE:
	break;
373 374 375 376
    case SUEXEC_ACTION_DUPDIE:
	TBERROR($foo, 0, 1);
	USERERROR("<XMP>$foo</XMP>", 1);
        break;
377 378 379 380 381 382 383 384 385 386
    default:
	TBERROR($foo, 1, 1);
    }
}

#
# Run a program as a user.
#
function SUEXEC($uid, $gid, $cmdandargs, $action) {
    global $TBSUEXEC_PATH;
387 388
    global $suexec_cmdandargs, $suexec_retval;
    global $suexec_output, $suexec_output_array;
389 390 391 392 393 394 395
    global $TBMAIL_LOGS;

    $mail_tblog = 0;
    if ($action & SUEXEC_ACTION_MAIL_TBLOGS) {
	$action &= ~SUEXEC_ACTION_MAIL_TBLOGS;
	$mail_tblog = 1;
    }
396 397 398

    ignore_user_abort(1);

399 400 401 402
    $suexec_cmdandargs   = "$uid $gid $cmdandargs";
    $suexec_output_array = array();
    $suexec_output       = "";
    $suexec_retval       = 0;
403
    
404 405 406 407 408 409 410 411 412 413 414 415 416
    exec("$TBSUEXEC_PATH $suexec_cmdandargs",
	 $suexec_output_array, $suexec_retval);

    # Yikes! Something is not doing integer conversion properly!
    if ($suexec_retval == 255) {
	$suexec_retval = -1;
    }

    if (count($suexec_output_array)) {
	for ($i = 0; $i < count($suexec_output_array); $i++) {
	    $suexec_output .= "$suexec_output_array[$i]\n";
	}
    }
417

418 419 420 421 422 423 424 425 426
    if ($mail_tblog) {
	$mesg  = "$TBSUEXEC_PATH $suexec_cmdandargs\n";
	$mesg .= "Return Value: $suexec_retval\n\n";
	$mesg .= "--------- OUTPUT ---------\n";
	$mesg .= $suexec_output;
	
	TBMAIL($TBMAIL_LOGS, "suexec: $cmdandargs", $mesg);
    }

427 428 429 430 431 432 433
    #
    # The output is still available of course, via $suexec_output.
    # 
    if ($suexec_retval == 0 || $action == SUEXEC_ACTION_IGNORE) {
	return $suexec_retval;
    }
    SUEXECERROR($action);
434 435
    # Must return the shell value!
    return $suexec_retval;
436 437
}

438 439 440 441 442 443
#
# We invoke addpubkey as user nobody all the time. The implied user is passed
# along in an HTTP_ variable (see tbauth). This avoids a bunch of confusion
# that results from new users who do not have a context yet. 
#
function ADDPUBKEY($cmdandargs) {
444 445
    global $TBSUEXEC_PATH;

446 447
    return SUEXEC("nobody", "nobody", "webaddpubkey $cmdandargs",
		  SUEXEC_ACTION_CONTINUE);
448 449
}

Leigh B. Stoller's avatar
Leigh B. Stoller committed
450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
#
# Verify a URL.
#
function CHECKURL($url, &$error) {
    global $HTTPTAG;

    if (strlen($url)) {
	if (strstr($url, " ")) {
	    $error = "URL is malformed; spaces are not allowed!";
	    return 0;
	}
	
	if (strcmp($HTTPTAG, substr($url, 0, strlen($HTTPTAG)))) {
	    $error = "URL is malformed; must begin with $HTTPTAG!";
	    return 0;
	}
466

467
	$fp = @fopen($url, "r");
Leigh B. Stoller's avatar
Leigh B. Stoller committed
468 469 470
	if (!$fp) {
	    $error = "URL is not valid; Cannot be accessed!";
	    return 0;
Leigh B. Stoller's avatar
Leigh B. Stoller committed
471
	}
Leigh B. Stoller's avatar
Leigh B. Stoller committed
472
	fclose($fp);
Leigh B. Stoller's avatar
Leigh B. Stoller committed
473 474 475 476 477 478 479 480 481 482
    }
    return 1;
}

#
# Check a password.
#
function CHECKPASSWORD($uid, $password, $name, $email, &$error)
{
    global $TBCHKPASS_PATH;
483

484 485 486 487 488
    # Watch for caller errors since this calls to the shell.
    if (empty($uid) || empty($password) || empty($name) || empty($email)) {
	$error = "";
	return 0;
    }
489 490 491 492 493
    # Ascii only.
    if (! TBvalid_userdata($password)) {
	$error = "Invalid characters; ascii only please";
	return 0;
    }
494

495 496 497
    $uid      = escapeshellarg($uid);
    $password = escapeshellarg($password);
    $stuff    = escapeshellarg("$name:$email");
Leigh B. Stoller's avatar
Leigh B. Stoller committed
498
    
499
    $mypipe = popen("$TBCHKPASS_PATH $password $uid $stuff", "w+");
Leigh B. Stoller's avatar
Leigh B. Stoller committed
500 501 502 503 504 505 506 507 508 509 510 511 512
    
    if ($mypipe) { 
        $retval=fgets($mypipe, 1024);
        if (strcmp($retval,"ok\n") != 0) {
	    $error = "$retval";
	    return 0;
	}
	return 1;
    }
    TBERROR("Checkpass Failure! Returned '$mypipe'.\n\n".
	    "$TBCHKPASS_PATH $password $uid '$name:$email'", 1);
}

513 514 515 516 517 518 519 520 521 522 523 524 525 526 527
#
# Grab a UUID (universally unique identifier).
#
function NewUUID()
{
    global $UUIDGEN_PATH;

    $uuid = shell_exec($UUIDGEN_PATH);
    
    if (isset($uuid) && $uuid != "") {
	return rtrim($uuid);
    }
    TBERROR("$UUIDGEN_PATH Failure", 1);
}

528 529 530 531
function LASTNODELOGIN($node)
{
}

532 533 534 535 536 537 538 539
function VALIDUSERPATH($path, $uid="", $pid="", $gid="", $eid="")
{
    global $TBPROJ_DIR, $TBUSER_DIR, $TBGROUP_DIR, $TBSCRATCH_DIR;

    #
    # No ids specified, just make sure it starts with an appropriate prefix.
    #
    if (!$uid && !$pid && !$gid && !$eid) {
Mike Hibler's avatar
Mike Hibler committed
540 541 542
	if (preg_match("#^$TBPROJ_DIR/.*#", $path) ||
	    preg_match("#^$TBUSER_DIR/.*#", $path) ||
	    preg_match("#^$TBGROUP_DIR/.*#", $path)) {
543 544
	    return 1;
	}
Mike Hibler's avatar
Mike Hibler committed
545
	if ($TBSCRATCH_DIR && preg_match("/^$TBSCRATCH_DIR\/.*/", $path)) {
546 547 548 549 550 551 552 553 554
	    return 1;
	}
	return 0;
    }

    # XXX for now, see tbsetup/libtestbed.pm for what should happen
    return 0;
}

555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570
#
# A function to print the contents of an array (recursively).
# Mostly useful for debugging.
#
function ARRAY_PRINT($arr) {
  if (!is_array($arr)) { echo "non-array '$arr'\n"; }
  foreach ($arr as $i => $val) {
    echo("'$i' - '$val'\n");
    if (is_array($val)) {
      echo "Sub-array $i:\n";
      array_print($val);
      echo "End Sub-array $i.\n";
    }
  }
}

571 572 573 574 575 576 577
#
# Return Yes or No given boolean
#
function YesNo($bool) {
    return ($bool ? "Yes" : "No");
}

578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595
#
# If the page was accessed via http redirect to https and exit
# otherwise do nothing
#
function RedirectHTTPS() {
    global $WWWHOST,$drewheader;
    if ($drewheader) {
	trigger_error(
	    "PAGEHEADER called before RedirectHTTPS ".
	    "Won't be able to redirect to HTTPS if necessary ".
	    "in ". $_SERVER['SCRIPT_FILENAME'] . ",",
	    E_USER_WARNING);
    } else if (!@$_SERVER['HTTPS'] && $_SERVER['REQUEST_METHOD'] == 'GET') {
	header("Location: https://$WWWHOST". $_SERVER['REQUEST_URI']);
	exit;
    }
}

596 597 598 599
#
# Beware empty spaces (cookies)!
# 
require("tbauth.php3");
600 601 602 603

#
# Okay, this is what checks the login and spits out the menu.
#
604
require("Sajax.php");
605
require("menu.php3");
606
?>