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
?>