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
196
                       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
197
                       href='http://docs.aptlab.net' target='_blank'>Manual</a></form></li>\n";
198
    }
199
200
    if ($login_user) {
	echo "  <li id='quickvm_actions_menu' class='dropdown apt-left'> ".
201
	         "<a href='#' class='dropdown-toggle' data-toggle='dropdown'>
202
203
204
                    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
205
                   <li><a href='myexperiments.php'>My Experiments</a></li>
206
207
                   <li><a href='manage_profile.php'>Create Profile</a></li>
                   <li class='divider'></li>
208
209
210
211
212
213
	           <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>
214
                </li>\n";
215
216
217
218
219
    }
    echo "   </ul>
           </div>
         </div>\n";

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

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

259
260
function SPITUSERERROR($msg)
{
261
    PAGEERROR($msg, 0);
262
263
}

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

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

Leigh B Stoller's avatar
Leigh B Stoller committed
292
293
294
295
296
#
# Spit out an info tooltip.
#
function SpitToolTip($info)
{
297
298
299
300
    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
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
327
328
#
# 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
329
                            id='verify_modal_submit'
330
331
332
333
334
335
336
337
338
339
340
341
                            type='submit' name='create'>
                            $label</button>
                       </div>
               </div>
            </div>
            </div>
         </div>\n";
}

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

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

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

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


561
562
563
564
565
566
567
568
569
570
571
572
    $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
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
598
599
}

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

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

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