quickvm_sup.php 19.7 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
	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";
173
174
175
		if ($page_title != "Login") {
		    echo "<li id='loginitem' class='apt-left'>" .
			   "<form><a class='btn btn-primary navbar-btn'
176
177
178
179
180
                              id='loginbutton'
	                      data-toggle='modal'
                              href='#quickvm_login_modal'
                              data-target='#quickvm_login_modal'>
                            Login</a></form></li>
181
182
                          \n";
		}
183
184
185
186
187
188
189
190
	    }
	    else {
		echo "<li class='apt-left'>" .
		         "<form><a class='btn btn-primary navbar-btn'
                              href='logout.php'>
                            Logout</a></form></li>
                      \n";
	    }
191
192
	}
    }
193
    echo "   </ul>
194
195
             <ul class='nav navbar-nav navbar-left apt-left'>
                <li class='apt-left'><form><a class='btn btn-quickvm-home navbar-btn'
196
197
198
                       href='instantiate.php'>Home</a></form></li>\n";
    if ($ISAPT) {
	echo "  <li class='apt-left'><form><a class='btn btn-quickvm-home navbar-btn'
Robert Ricci's avatar
Robert Ricci committed
199
                       href='http://docs.aptlab.net' target='_blank'>Manual</a></form></li>\n";
200
    }
201
202
    if ($login_user) {
	echo "  <li id='quickvm_actions_menu' class='dropdown apt-left'> ".
203
	         "<a href='#' class='dropdown-toggle' data-toggle='dropdown'>
204
205
206
                    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
207
                   <li><a href='myexperiments.php'>My Experiments</a></li>
208
209
                   <li><a href='manage_profile.php'>Create Profile</a></li>
                   <li class='divider'></li>
210
211
212
213
214
215
	           <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>
216
                </li>\n";
217
218
219
220
221
    }
    echo "   </ul>
           </div>
         </div>\n";

222
    SpitLoginModal("quickvm_login_modal");
223
    echo " <!-- Page content -->
224
           <div class='container-fluid'>\n";
Leigh B Stoller's avatar
Leigh B Stoller committed
225
226
227
228
}

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

261
262
function SPITUSERERROR($msg)
{
263
    PAGEERROR($msg, 0);
264
265
}

Leigh B Stoller's avatar
Leigh B Stoller committed
266
267
268
269
270
271
272
273
274
275
276
277
#
# 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
278
function SPITAJAX_ERROR($code, $msg)
Leigh B Stoller's avatar
Leigh B Stoller committed
279
280
{
    $results = array(
Leigh B Stoller's avatar
Leigh B Stoller committed
281
	'code'  => $code,
Leigh B Stoller's avatar
Leigh B Stoller committed
282
283
284
285
286
	'value' => $msg
	);
    echo json_encode($results);
}

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

Leigh B Stoller's avatar
Leigh B Stoller committed
294
295
296
297
298
#
# Spit out an info tooltip.
#
function SpitToolTip($info)
{
299
300
301
302
    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
303
304
}

305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
#
# 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
331
                            id='verify_modal_submit'
332
333
334
335
336
337
338
339
340
341
342
343
                            type='submit' name='create'>
                            $label</button>
                       </div>
               </div>
            </div>
            </div>
         </div>\n";
}

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

Robert Ricci's avatar
Robert Ricci committed
351
352
353
354
355
356
357
358
359
360
361
362
363
364
?>
    <!-- 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>
365
               <h4 class='modal-title'>Log in to <?php echo $APTTITLE ?></h4>
Robert Ricci's avatar
Robert Ricci committed
366
367
368
369
370
371
           </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'
372
                                  placeholder=<?php echo $pwlab ?>
Robert Ricci's avatar
Robert Ricci committed
373
                                  autofocus type='text'>
374
                       </div>
Robert Ricci's avatar
Robert Ricci committed
375
376
377
378
379
380
381
                   </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'>
382
                       </div>
Robert Ricci's avatar
Robert Ricci committed
383
384
385
386
387
                   </div>
             </div>
             <div class='modal-footer'>
                   <div class='form-group'>
                        <button class='btn btn-success btn-sm'
388
389
390
391
                            id='quickvm_login_modal_button'
                            class='form-control'
                            type='submit' name='login'>
                            Login</button>
Robert Ricci's avatar
Robert Ricci committed
392
393
394
395
396
397
398
                   </div>
             </div>
        </div>
        </form>
        </div>
     </div>
<?php
399
400
}

401
402
403
404
405
406
407
#
# 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
408
          <div class='modal-dialog'  id='showtopo_dialog'>
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
            <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'>
436
		    <span id='showtopo_title'></span>
437
                     <div id='showtopo_div' class='jacks'></div>
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
                     <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
457
458
459
460
461
462
463
464
465
466
467
468
469
#
# 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'>
470
                 <center><img src='images/spinner.gif' /></center>
Leigh B Stoller's avatar
Leigh B Stoller committed
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
497
498
499
500
               </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
501
502
function SpitNSFModal()
{
503
504
505
    global $ISAPT;
    $nsfnumber = ($ISAPT ? "CNS-1338155" : "CNS-1302688");
    
Leigh B Stoller's avatar
Leigh B Stoller committed
506
507
508
509
510
511
512
    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
513
                No. ${nsfnumber}. Any opinions, findings, and
Leigh B Stoller's avatar
Leigh B Stoller committed
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
                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";
}

531
532
533
534
535
536
537
538
#
# 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
539
{
540
541
542
543
    global $USERNODE;
	
    $file = "/usr/testbed/etc/sshauth.key";
    
Leigh B Stoller's avatar
Leigh B Stoller committed
544
545
546
    #
    # We need the secret that is shared with ops.
    #
547
    $fp = fopen($file, "r");
Leigh B Stoller's avatar
Leigh B Stoller committed
548
    if (! $fp) {
549
	TBERROR("Error opening $file", 0);
Leigh B Stoller's avatar
Leigh B Stoller committed
550
551
	return null;
    }
552
    $key = fread($fp, 128);
Leigh B Stoller's avatar
Leigh B Stoller committed
553
    fclose($fp);
554
555
    if (!$key) {
	TBERROR("Could not get key from $file", 0);
Leigh B Stoller's avatar
Leigh B Stoller committed
556
557
	return null;
    }
558
559
560
    $key   = chop($key);
    $stuff = GENHASH();
    $now   = time();
Leigh B Stoller's avatar
Leigh B Stoller committed
561
562


563
564
565
566
567
568
569
570
571
572
573
574
    $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
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
}

#
# 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 "";
    }
}

602
603
604
605
606
607
608
609
610
611
612
613
614
#
# 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
615
616
617
618
619
620
621
622
623
#
# 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']));
624
    
Leigh B Stoller's avatar
Leigh B Stoller committed
625
626
}

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