logout.php3 1.85 KB
Newer Older
1 2
<?php
#
3
# Copyright (c) 2000-2007 University of Utah and the Flux Group.
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
# 
# {{{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/>.
# 
# }}}
Leigh Stoller's avatar
Leigh Stoller committed
23
#
24 25
require("defs.php3");

26
# Get current login.
27 28 29
$this_user = CheckLoginOrDie(CHECKLOGIN_MODMASK);
$uid       = $this_user->uid();
$isadmin   = ISADMIN();
30

31 32 33 34 35 36 37 38
#
# Verify page arguments.
#
$optargs = OptionalPageArguments("target_user",   PAGEARG_USER,
				 "next_page",     PAGEARG_STRING);

if (isset($target_user)) {
    # Only admin users can logout someone other then themself.
39
    if (!$isadmin && !$target_user->SameUser($this_user)) {
40 41
	PAGEHEADER("Logout");
	echo "<center>
42
                  <h3>You do not have permission to logout other users!</h3>
43 44 45 46 47 48
              </center>\n";
	PAGEFOOTER();
    }
}
else {
    $target_user = $this_user;
49
}
50 51
$target_user = $this_user;
$target_uid  = $uid;
52

53
if (DOLOGOUT($target_user) != 0) {
54 55 56 57 58
    PAGEHEADER("Logout");
    echo "<center><h3>Logout '$target_uid' failed!</h3></center>\n";
    PAGEFOOTER();
    return;
}
59 60

#
61 62
# Success. Zap the user back to the front page, in nonsecure mode, or a page
# the caller specified
63
# 
64
if (isset($next_page)) {
65 66 67 68
    header("Location: $next_page");
} else {
    header("Location: $TBBASE/");
}
69
?>
70 71