quickvm_sup.php 19.5 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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

#
# 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") {
    $TBAUTHDOMAIN = ".aptlab.net";
    $APTHOST      = "www.aptlab.net";
49
    $WWWHOST      = "www.aptlab.net";
50
    $APTBASE      = "https://www.aptlab.net";
Leigh B Stoller's avatar
Leigh B Stoller committed
51
    $APTMAIL      = "APT Operations <testbed-ops@aptlab.net>";
52
}
53
54
55
56
57
58
59
60
61
62
63
64
elseif ($TBMAINSITE && $_SERVER["SERVER_NAME"] == "www.cloudlab.us") {
    $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;
}
65

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

    if (! $drewheader) {
	SPITHEADER();
    }
75
    echo $msg;
76
77
78
    echo "<script type='text/javascript'>\n";
    echo "    window.ISCLOUD = " . ($ISAPT ? "0" : "1") . ";\n";
    echo "</script>\n";
79
    echo "<script src='js/lib/jquery-2.0.3.min.js'></script>\n";
80
    echo "<script src='js/lib/bootstrap.js'></script>\n";
81
82
83
84
85
    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
86
87
function SPITHEADER($thinheader = 0)
{
88
    global $TBMAINSITE, $APTTITLE, $FAVICON, $APTLOGO, $APTSTYLE, $ISAPT;
89
    global $login_user, $login_status;
90
    global $disable_accounts, $page_title, $drewheader;
91
    $title = $APTTITLE;
92
93
94
    if (isset($page_title)) {
	$title .= " - $page_title";
    }
Leigh B Stoller's avatar
Leigh B Stoller committed
95
    $height = ($thinheader ? 150 : 250);
96
    $drewheader = 1;
97
98
99
100
101
102
103
104
105

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

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

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

162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
	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";
	    }
186
187
	}
    }
188
    echo "   </ul>
189
190
             <ul class='nav navbar-nav navbar-left apt-left'>
                <li class='apt-left'><form><a class='btn btn-quickvm-home navbar-btn'
191
192
                       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
193
                       href='http://docs.aptlab.net' target='_blank'>Manual</a></form></li>\n";
194
195
    if ($login_user) {
	echo "  <li id='quickvm_actions_menu' class='dropdown apt-left'> ".
196
	         "<a href='#' class='dropdown-toggle' data-toggle='dropdown'>
197
198
199
                    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
200
                   <li><a href='myexperiments.php'>My Experiments</a></li>
201
202
                   <li><a href='manage_profile.php'>Create Profile</a></li>
                   <li class='divider'></li>
203
204
205
206
207
208
	           <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>
209
                </li>\n";
210
211
212
213
214
    }
    echo "   </ul>
           </div>
         </div>\n";

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

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

254
255
function SPITUSERERROR($msg)
{
256
    PAGEERROR($msg, 0);
257
258
}

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

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

Leigh B Stoller's avatar
Leigh B Stoller committed
287
288
289
290
291
#
# Spit out an info tooltip.
#
function SpitToolTip($info)
{
292
293
294
295
    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
296
297
}

298
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
#
# 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
324
                            id='verify_modal_submit'
325
326
327
328
329
330
331
332
333
334
335
336
                            type='submit' name='create'>
                            $label</button>
                       </div>
               </div>
            </div>
            </div>
         </div>\n";
}

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

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

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

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


556
557
558
559
560
561
562
563
564
565
566
567
    $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
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
}

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

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

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