quickvm_sup.php 19.6 KB
Newer Older
Leigh B Stoller's avatar
Leigh B Stoller committed
1 2
<?php
#
3
# Copyright (c) 2000-2014 University of Utah and the Flux Group.
Leigh B Stoller's avatar
Leigh B Stoller committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
# 
# {{{EMULAB-LICENSE
# 
# This file is part of the Emulab network testbed software.
# 
# This file is free software: you can redistribute it and/or modify it
# under the terms of the GNU Affero General Public License as published by
# the Free Software Foundation, either version 3 of the License, or (at
# your option) any later version.
# 
# This file is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Affero General Public
# License for more details.
# 
# You should have received a copy of the GNU Affero General Public License
# along with this file.  If not, see <http://www.gnu.org/licenses/>.
# 
# }}}
#
24 25
$APTHOST	= "$WWWHOST";
$APTBASE	= "$TBBASE/apt";
Leigh B Stoller's avatar
Leigh B Stoller committed
26
$APTMAIL        = $TBMAIL_OPS;
27 28 29 30 31
$APTTITLE       = "APT";
$FAVICON        = "aptlab.ico";
$APTLOGO        = "aptlogo.png";
$APTSTYLE       = "apt.css";
$ISAPT		= 1;
32
$ISVSERVER      = 0;
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47

#
# Global flag to disable accounts. We do this on some pages which
# should not display login/account info.
#
$disable_accounts = 0;

#
# So, we could be coming in on the alternate APT address (virtual server)
# which causes cookie problems. I need to look into avoiding this problem
# but for now, just change the global value of the TBAUTHDOMAIN when we do.
# The downside is that users will have to log in twice if they switch back
# and forth.
#
if ($TBMAINSITE && $_SERVER["SERVER_NAME"] == "www.aptlab.net") {
48
    $ISVSERVER    = 1;
49 50
    $TBAUTHDOMAIN = ".aptlab.net";
    $APTHOST      = "www.aptlab.net";
51
    $WWWHOST      = "www.aptlab.net";
52
    $APTBASE      = "https://www.aptlab.net";
Leigh B Stoller's avatar
Leigh B Stoller committed
53
    $APTMAIL      = "APT Operations <testbed-ops@aptlab.net>";
54
}
55
elseif ($TBMAINSITE && $_SERVER["SERVER_NAME"] == "www.cloudlab.us") {
56
    $ISVSERVER    = 1;
57 58 59 60 61 62 63 64 65 66 67
    $TBAUTHDOMAIN = ".cloudlab.us";
    $APTHOST      = "www.cloudlab.us";
    $WWWHOST      = "www.cloudlab.us";
    $APTBASE      = "https://www.cloudlab.us";
    $APTMAIL      = "Cloud Lab Operations <testbed-ops@aptlab.net>";
    $APTTITLE     = "CloudLab";
    $FAVICON      = "cloudlab.ico";
    $APTLOGO      = "cloudlogo.png";
    $APTSTYLE     = "cloudlab.css";
    $ISAPT	  = 0;
}
68

69
#
70
# Redefine this so APT errors are styled properly. Called by PAGEERROR();.
71 72
#
$PAGEERROR_HANDLER = function($msg, $status_code = 0) {
73
    global $drewheader, $ISAPT;
74 75 76 77

    if (! $drewheader) {
	SPITHEADER();
    }
78
    echo $msg;
79 80 81
    echo "<script type='text/javascript'>\n";
    echo "    window.ISCLOUD = " . ($ISAPT ? "0" : "1") . ";\n";
    echo "</script>\n";
82
    echo "<script src='js/lib/jquery-2.0.3.min.js'></script>\n";
83
    echo "<script src='js/lib/bootstrap.js'></script>\n";
84 85 86 87 88
    echo "<script src='js/lib/require.js' data-main='js/null.js'></script>\n";
    SPITFOOTER();
    die("");
};

Leigh B Stoller's avatar
Leigh B Stoller committed
89 90
function SPITHEADER($thinheader = 0)
{
91
    global $TBMAINSITE, $APTTITLE, $FAVICON, $APTLOGO, $APTSTYLE, $ISAPT;
92
    global $login_user, $login_status;
93
    global $disable_accounts, $page_title, $drewheader;
94
    $title = $APTTITLE;
95 96 97
    if (isset($page_title)) {
	$title .= " - $page_title";
    }
Leigh B Stoller's avatar
Leigh B Stoller committed
98
    $height = ($thinheader ? 150 : 250);
99
    $drewheader = 1;
100 101 102 103 104 105 106 107 108

    #
    # Figure out who is logged in, if anyone.
    #
    if (($login_user = CheckLogin($status)) != null) {
	$login_status = $status;
	$login_uid    = $login_user->uid();
    }

Leigh B Stoller's avatar
Leigh B Stoller committed
109 110
    echo "<html>
      <head>
111
        <title>$title</title>
112
        <link rel='shortcut icon' href='$FAVICON'
Leigh B Stoller's avatar
Leigh B Stoller committed
113
              type='image/vnd.microsoft.icon'>
114 115
        <link rel='stylesheet' href='css/bootstrap.css'>
        <link rel='stylesheet' href='css/quickvm.css'>
116
        <link rel='stylesheet' href='css/$APTSTYLE'>
117
	<script src='js/common.js'></script>
Leigh B Stoller's avatar
Leigh B Stoller committed
118
        <script src='https://www.emulab.net/emulab_sup.js'></script>
Leigh B Stoller's avatar
Leigh B Stoller committed
119
      </head>
120
    <body style='display: none'>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
121
    
122 123 124 125
    echo "<script type='text/javascript'>\n";
    echo "    window.ISCLOUD = " . ($ISAPT ? "0" : "1") . ";\n";
    echo "</script>\n";
    
Leigh B Stoller's avatar
Leigh B Stoller committed
126 127 128
    if ($TBMAINSITE && file_exists("../google-analytics.php")) {
	readfile("../google-analytics.php");
    }
129

Leigh B Stoller's avatar
Leigh B Stoller committed
130
    echo "
Leigh B Stoller's avatar
Leigh B Stoller committed
131
    <!-- Container for body, needed for sticky footer -->
132
    <div id='wrap'>
133 134 135
         <div class='navbar navbar-static-top' role='navigation'>
           <div class='navbar-inner'>
             <div class='brand'>
136
                 <img src='images/$APTLOGO'/>
137
             </div>
138
             <ul class='nav navbar-nav navbar-right apt-right'>";
139
    if (!$disable_accounts) {
140
	if ($login_user && ISADMINISTRATOR()) {
141
	    echo "<li class='apt-left'>\n";
142 143 144 145 146
	    if (ISADMIN()) {
		$url = CreateURL("toggle", $login_user,
				 "type", "adminon", "value", 0);
		
		echo "<a href='/$url'>
147
                             <img src='images/redball.gif'
148 149 150 151 152 153 154 155
                                  style='height: 10px;'
                                  border='0' alt='Admin On'></a>\n";
	    }
	    else {
		$url = CreateURL("toggle", $login_user,
				 "type", "adminon", "value", 1);

		echo "<a href='/$url'>
156
                              <img src='images/greenball.gif'
157 158 159 160 161
                                   style='height: 10px;'
                                   border='0' alt='Admin Off'></a>\n";
	    }
	    echo "</li>\n";
	}
162
	echo "<li id='loginstatus' class='apt-left'>".
163
	    ($login_user ? "<p class='navbar-text'>$login_uid logged in</p>" : "") . "</li>\n";
164

165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188
	if (!NOLOGINS()) {
	    if (!$login_user) {
		echo "<li id='signupitem' class='apt-left'>" .
                        "<form><a class='btn btn-primary navbar-btn'
                                id='signupbutton'
                                href='signup.php'>
                              Sign Up</a></form></li>
                     \n";
		echo "<li id='loginitem' class='apt-left'>" .
		         "<form><a class='btn btn-primary navbar-btn'
                              id='loginbutton'
	                      data-toggle='modal'
                              href='#quickvm_login_modal'
                              data-target='#quickvm_login_modal'>
                            Login</a></form></li>
                      \n";
	    }
	    else {
		echo "<li class='apt-left'>" .
		         "<form><a class='btn btn-primary navbar-btn'
                              href='logout.php'>
                            Logout</a></form></li>
                      \n";
	    }
189 190
	}
    }
191
    echo "   </ul>
192 193
             <ul class='nav navbar-nav navbar-left apt-left'>
                <li class='apt-left'><form><a class='btn btn-quickvm-home navbar-btn'
194 195
                       href='instantiate.php'>Home</a></form></li>
                <li class='apt-left'><form><a class='btn btn-quickvm-home navbar-btn'
Robert Ricci's avatar
Robert Ricci committed
196
                       href='http://docs.aptlab.net' target='_blank'>Manual</a></form></li>\n";
197 198
    if ($login_user) {
	echo "  <li id='quickvm_actions_menu' class='dropdown apt-left'> ".
199
	         "<a href='#' class='dropdown-toggle' data-toggle='dropdown'>
200 201 202
                    Actions <b class='caret'></b></a>
                  <ul class='dropdown-menu'>
                   <li><a href='myprofiles.php'>My Profiles</a></li>
Leigh B Stoller's avatar
Leigh B Stoller committed
203
                   <li><a href='myexperiments.php'>My Experiments</a></li>
204 205
                   <li><a href='manage_profile.php'>Create Profile</a></li>
                   <li class='divider'></li>
206 207 208 209 210 211
	           <li><a href='logout.php'>Logout</a></li>";
	if (ISADMIN()) {
	    echo " <li class='divider'></li>
	           <li><a href='activity.php'>Activity</a></li>";
	}
	echo "    </ul>
212
                </li>\n";
213 214 215 216 217
    }
    echo "   </ul>
           </div>
         </div>\n";

218
    SpitLoginModal("quickvm_login_modal");
219
    echo " <!-- Page content -->
220
           <div class='container-fluid'>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
221 222 223 224
}

function SPITFOOTER()
{
225 226 227
    global $ISAPT;
    $groupname = ($ISAPT ? "apt-users" : "cloudlab-users");
    
Leigh B Stoller's avatar
Leigh B Stoller committed
228
    echo "</div>
229
      </div>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
230
    SpitNSFModal();
231
    echo "
Leigh B Stoller's avatar
Leigh B Stoller committed
232
      <!--- Footer -->
233 234
      <div>
       <div id='footer'>
235 236 237
        <div class='pull-left'>
          <a href='http://www.emulab.net' target='_blank'>
             Powered by
238
             <img src='images/emulab-whiteout.png' id='elabpower'></a>
239 240
        </div>
	<span>Question or comment? Join the
241
           <a href='https://groups.google.com/forum/#!forum/${groupname}'
242
              target='_blank'>Help Forum</a></span>
243 244
           <div class='pull-right'>\n";
    echo " <a data-toggle='modal' style='margin-right: 10px;'
Leigh B Stoller's avatar
Leigh B Stoller committed
245
              href='#nsf_supported_modal'
246 247
	      data-target='#nsf_supported_modal'>Supported by NSF</a>\n";
    echo "&copy; 2014
248 249 250
          <a href='http://www.utah.edu' target='_blank'>
             The University of Utah</a>
        </div>
251
       </div>
Leigh B Stoller's avatar
Leigh B Stoller committed
252
      </div>
253
      <!-- Placed at the end of the document so the pages load faster -->
Leigh B Stoller's avatar
Leigh B Stoller committed
254 255 256
     </body></html>\n";
}

257 258
function SPITUSERERROR($msg)
{
259
    PAGEERROR($msg, 0);
260 261
}

Leigh B Stoller's avatar
Leigh B Stoller committed
262 263 264 265 266 267 268 269 270 271 272 273
#
# Does not return; page exits.
#
function SPITAJAX_RESPONSE($value)
{
    $results = array(
	'code'  => 0,
	'value' => $value
	);
    echo json_encode($results);
}

Leigh B Stoller's avatar
Leigh B Stoller committed
274
function SPITAJAX_ERROR($code, $msg)
Leigh B Stoller's avatar
Leigh B Stoller committed
275 276
{
    $results = array(
Leigh B Stoller's avatar
Leigh B Stoller committed
277
	'code'  => $code,
Leigh B Stoller's avatar
Leigh B Stoller committed
278 279 280 281 282
	'value' => $msg
	);
    echo json_encode($results);
}

Leigh B Stoller's avatar
Leigh B Stoller committed
283 284
function SPITNULLREQUIRE()
{
285
    echo "<script src='js/lib/jquery-2.0.3.min.js'></script>\n";
286
    echo "<script src='js/lib/bootstrap.js'></script>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
287 288 289
    echo "<script src='js/lib/require.js' data-main='js/null'></script>\n";
}

Leigh B Stoller's avatar
Leigh B Stoller committed
290 291 292 293 294
#
# Spit out an info tooltip.
#
function SpitToolTip($info)
{
295 296 297 298
    echo "<a href='#' class='btn btn-xs' data-toggle='popover' ".
	"data-content='$info'> ".
        "<span class='glyphicon glyphicon-question-sign'></span> ".
        "</a>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
299 300
}

301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326
#
# Spit out the verify modal. We are not using real password authentication
# like the rest of the Emulab website. Assumed to be inside of a form
# that handles a create button.
#
function SpitVerifyModal($id, $label)
{
    echo "<!-- This is the user verify modal -->
          <div id='$id' class='modal fade'>
            <div class='modal-dialog'>
            <div class='modal-content'>
               <div class='modal-header'>
                <button type='button' class='close' data-dismiss='modal'
                   aria-hidden='true'>&times;</button>
                <h3>Important</h3>
               </div>
               <div class='modal-body'>
                    <p>Check your email for a verification code, and
                       enter it here:</p>
                       <div class='form-group'>
                        <input name='verify' class='form-control'
                               placeholder='Verification code'
                               autofocus type='text' />
                       </div>
                       <div class='form-group'>
                        <button class='btn btn-primary form-control'
Leigh B Stoller's avatar
Leigh B Stoller committed
327
                            id='verify_modal_submit'
328 329 330 331 332 333 334 335 336 337 338 339
                            type='submit' name='create'>
                            $label</button>
                       </div>
               </div>
            </div>
            </div>
         </div>\n";
}

#
# Spit out the login modal. 
#
Robert Ricci's avatar
Robert Ricci committed
340
function SpitLoginModal($id)
341
{
342 343 344 345 346
    global $APTTITLE, $ISAPT;
    $pwlab = ($ISAPT ? "Aptlab.net" : "CloudLab.net") .
	" or Emulab.net Username";
    $pwlab = "'$pwlab'";

Robert Ricci's avatar
Robert Ricci committed
347 348 349 350 351 352 353 354 355 356 357 358 359 360
?>
    <!-- This is the login modal -->
    <div id='<?php echo $id ?>' class='modal fade' role='dialog'>
        <div class='modal-dialog'>
        <form id='quickvm_login_form'
              role='form'
              method='post' action='login.php'>
        <input type=hidden name=refer value=1>
        <div id='quickvm_login_form_error'
             class='align-center'></div>
        <div class='modal-content'>
           <div class='modal-header'>
            <button type='button' class='close' data-dismiss='modal'
               aria-hidden='true'>&times;</button>
361
               <h4 class='modal-title'>Log in to <?php echo $APTTITLE ?></h4>
Robert Ricci's avatar
Robert Ricci committed
362 363 364 365 366 367
           </div>
           <div class='modal-body form-horizontal'>
             <div class='form-group'>
                       <label for='uid' class='col-sm-2 control-label'>Username</label>
                       <div class='col-sm-10'>
                           <input name='uid' class='form-control'
368
                                  placeholder=<?php echo $pwlab ?>
Robert Ricci's avatar
Robert Ricci committed
369
                                  autofocus type='text'>
370
                       </div>
Robert Ricci's avatar
Robert Ricci committed
371 372 373 374 375 376 377
                   </div>
                   <div class='form-group'>
                       <label for='password' class='col-sm-2 control-label'>Password </label>
                       <div class='col-sm-10'>
                           <input name='password' class='form-control'
                                  placeholder='Password'
                                  type='password'>
378
                       </div>
Robert Ricci's avatar
Robert Ricci committed
379 380 381 382 383
                   </div>
             </div>
             <div class='modal-footer'>
                   <div class='form-group'>
                        <button class='btn btn-success btn-sm'
384 385 386 387
                            id='quickvm_login_modal_button'
                            class='form-control'
                            type='submit' name='login'>
                            Login</button>
Robert Ricci's avatar
Robert Ricci committed
388 389 390 391 392 393 394
                   </div>
             </div>
        </div>
        </form>
        </div>
     </div>
<?php
395 396
}

397 398 399 400 401 402 403
#
# Topology view modal, shared across a few pages.
#
function SpitTopologyViewModal($modal_name, $profile_array)
{
    echo "<!-- This is the topology view modal -->
          <div id='$modal_name' class='modal fade'>
Robert Ricci's avatar
Robert Ricci committed
404
          <div class='modal-dialog'  id='showtopo_dialog'>
405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
            <div class='modal-content'>
               <div class='modal-header'>
                <button type='button' class='close' data-dismiss='modal'
                   aria-hidden='true'>
                   &times;</button>
                <h3>Select a Profile</h3>
               </div>
               <div class='modal-body'>
                 <!-- This topo diagram goes inside this div -->
                 <div class='panel panel-default'
                            id='showtopo_container'>
                  <div class='form-group pull-left'>
                    <ul class='list-group' id='profile_name'
                            name='profile'
                            >\n";
    while (list ($id, $title) = each ($profile_array)) {
	$selected = "";
	if ($profile_value == $id)
	    $selected = "selected";
                      
	echo "          <li class='list-group-item profile-item' $selected
                            value='$id'>$title </li>\n";
    }
    echo "          </ul>
                  </div> 
                  <div class='pull-right'>
                    <div class='panel-body'>
432
		    <span id='showtopo_title'></span>
433
                     <div id='showtopo_div' class='jacks'></div>
434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452
                     <span class='pull-left' id='showtopo_description'></span>
                    </div>
                   </div>
                 </div>
                 <div id='showtopo_buttons' class='pull-right'>
                     <button id='showtopo_select'
                           class='btn btn-primary btn-sm'
                           type='submit' name='select'>
                              Select Profile</button>
                      <button type='button' class='btn btn-default btn-sm' 
                      data-dismiss='modal' aria-hidden='true'>
                     Cancel</button>
                    </div>
               </div>
            </div>
          </div>
       </div>\n";
}

Leigh B Stoller's avatar
Leigh B Stoller committed
453 454 455 456 457 458 459 460 461 462 463 464 465
#
# Please Wait.
#
function SpitWaitModal($id)
{
    echo "<!-- This is the Please Wait modal -->
          <div id='$id' class='modal fade'>
            <div class='modal-dialog'>
            <div class='modal-content'>
               <div class='modal-header'>
                <center><h3>Please Wait</h3></center>
               </div>
               <div class='modal-body'>
466
                 <center><img src='images/spinner.gif' /></center>
Leigh B Stoller's avatar
Leigh B Stoller committed
467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496
               </div>
            </div>
            </div>
         </div>\n";
}

#
# Oops modal.
#
function SpitOopsModal($id)
{
    echo "<!-- This is the Oops modal -->
          <div id='$id' class='modal fade'>
            <div class='modal-dialog'>
            <div class='modal-content'>
               <div class='modal-header'>
                 <button type='button'
                      class='btn btn-default btn-sm pull-right' 
                      data-dismiss='modal' aria-hidden='true'>
                   Close</button>
                 <center><h3>Oops!</h3></center>
               </div>
               <div class='modal-body'>
                 <div id='${id}_text'></div>
               </div>
            </div>
            </div>
         </div>\n";
}

Leigh B Stoller's avatar
Leigh B Stoller committed
497 498
function SpitNSFModal()
{
499 500 501
    global $ISAPT;
    $nsfnumber = ($ISAPT ? "CNS-1338155" : "CNS-1302688");
    
Leigh B Stoller's avatar
Leigh B Stoller committed
502 503 504 505 506 507 508
    echo "<!-- This is the NSF Supported modal -->
          <div id='nsf_supported_modal' class='modal fade'>
            <div class='modal-dialog'>
             <div class='modal-content'>
              <div class='modal-body'>
                This material is based upon work supported by the
                National Science Foundation under Grant
509
                No. ${nsfnumber}. Any opinions, findings, and
Leigh B Stoller's avatar
Leigh B Stoller committed
510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526
                conclusions or recommendations expressed in this
                material are those of the author(s) and do not
                necessarily reflect the views of the National Science
                Foundation.
                <br><br>
                <center>
                <button type='button'
                     class='btn btn-default btn-sm' 
                     data-dismiss='modal' aria-hidden='true'>
                  Close</button>
                </center>
              </div>
             </div>
            </div>
         </div>\n";
}

527 528 529 530 531 532 533 534
#
# Generate an authentication object to pass to the browser that
# is passed to the web server on boss. This is used to grant
# permission to the user to invoke ssh to a local node using their
# emulab generated (no passphrase) key. This is basically a clone
# of what GateOne does, but that code was a mess. 
#
function SSHAuthObject($uid, $nodeid)
Leigh B Stoller's avatar
Leigh B Stoller committed
535
{
536 537 538 539
    global $USERNODE;
	
    $file = "/usr/testbed/etc/sshauth.key";
    
Leigh B Stoller's avatar
Leigh B Stoller committed
540 541 542
    #
    # We need the secret that is shared with ops.
    #
543
    $fp = fopen($file, "r");
Leigh B Stoller's avatar
Leigh B Stoller committed
544
    if (! $fp) {
545
	TBERROR("Error opening $file", 0);
Leigh B Stoller's avatar
Leigh B Stoller committed
546 547
	return null;
    }
548
    $key = fread($fp, 128);
Leigh B Stoller's avatar
Leigh B Stoller committed
549
    fclose($fp);
550 551
    if (!$key) {
	TBERROR("Could not get key from $file", 0);
Leigh B Stoller's avatar
Leigh B Stoller committed
552 553
	return null;
    }
554 555 556
    $key   = chop($key);
    $stuff = GENHASH();
    $now   = time();
Leigh B Stoller's avatar
Leigh B Stoller committed
557 558


559 560 561 562 563 564 565 566 567 568 569 570
    $authobj = array('uid'       => $uid,
		     'stuff'     => $stuff,
		     'nodeid'    => $nodeid,
		     'timestamp' => $now,
		     'baseurl'   => "https://${USERNODE}",
		     'signature_method' => 'HMAC-SHA1',
		     'api_version' => '1.0',
		     'signature' => hash_hmac('sha1',
					      $uid . $stuff . $nodeid . $now,
					      $key),
    );
    return json_encode($authobj);
Leigh B Stoller's avatar
Leigh B Stoller committed
571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597
}

#
# This is a little odd; since we are using our local CM to create
# the experiment, we can just ask for the graphic directly.
#
function GetTopoMap($uid, $pid, $eid)
{
    global $TBSUEXEC_PATH;
    $xmlstuff = "";
    
    if ($fp = popen("$TBSUEXEC_PATH nobody nobody webvistopology ".
		    "-x -s $uid $pid $eid", "r")) {

	while (!feof($fp) && connection_status() == 0) {
	    $string = fgets($fp);
	    if ($string) {
		$xmlstuff .= $string;
	    }
	}
	return $xmlstuff;
    }
    else {
	return "";
    }
}

598 599 600 601 602 603 604 605 606 607 608 609 610
#
# Redirect request to https
#
function RedirectSecure()
{
    global $APTHOST;

    if (!isset($_SERVER["SSL_PROTOCOL"])) {
	header("Location: https://$APTHOST". $_SERVER['REQUEST_URI']);
	exit();
    }
}

Leigh B Stoller's avatar
Leigh B Stoller committed
611 612 613 614 615 616 617 618 619
#
# Redirect to the login page()
#
function RedirectLoginPage()
{
    # HTTP_REFERER will not work reliably when redirecting so
    # pass in the URI for this page as an argument
    header("Location: login.php?referrer=".
	   urlencode($_SERVER['REQUEST_URI']));
620
    
Leigh B Stoller's avatar
Leigh B Stoller committed
621 622
}

Leigh B Stoller's avatar
Leigh B Stoller committed
623
?>