start.php3 550 Bytes
Newer Older
1
2
3
4
5
6
7
<?php
#
# Beware empty spaces (cookies)!
#
# The point of this file is so that when people go to www.emulab.net 
# they will be redirected from http://www.emulab.net/index.html to
# https://www.emulab.net/start.php3, so that we can force certain traffic
8
# through the secure server instead of the plain server. 
9
10
11
# 
require("defs.php3");

12
13
14
15
16
17
18
19
20
#
# We want to redirect to emulab, not paper. This needs to be fixed!
# 
if (isset($SSL_PROTOCOL)) {
    $LOC = "$TBBASE/index.php3";
}
else {
    $LOC = "$TBDOCBASE/index.php3";
}
21

22
header("Location: $LOC");
23

24
?>