File: logout.php

package info (click to toggle)
boinc 7.14.2%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 111,132 kB
  • sloc: cpp: 163,589; php: 113,173; ansic: 49,284; pascal: 35,620; xml: 17,864; java: 13,521; python: 6,551; sh: 4,082; perl: 1,843; makefile: 1,796; objc: 1,543; sql: 959; csh: 126; lisp: 47
file content (16 lines) | stat: -rw-r--r-- 306 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
<?php

require_once("../inc/util_ops.inc");

$user = get_logged_in_user_ops();
if ($user) {
    clear_cookie('auth', true);
    header("Location: index.php");
    admin_page_head("Logged out");
    echo "You are now logged out";
    admin_page_tail();
} else {
    admin_error_page("not logged in");
}

?>