-
Notifications
You must be signed in to change notification settings - Fork 0
/
signout.php
78 lines (58 loc) · 1.91 KB
/
signout.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
<?php
/*
* Copyright 2013, 2013 Andrea Ferroni
*
* This file is part of "JoM|The Job Manager".
*
* "JoM|The Job Manager" 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.
*
* "JoM|The Job Manager" 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 Nome-Programma. If not, see <http://www.gnu.org/licenses/>.
*
*/
//
// Signout procedure
//
//
// init
//
define('DIR_BASE', './');
require_once(DIR_BASE.'cfg/user_config.php');
require_once(DIR_BASE.'cfg/config.php');
require_once(DIR_LIB.'generic_lib.php');
require_once(DIR_LIB.'nonce_lib.php');
require_once(DIR_OOL.'bbkk_base_class.php');
require_once(DIR_OOL.'bbkk_pdo.php');
require_once(DIR_OOL.'bbkk_session_manager.php');
//
// database connection
//
$PDO = open_database($config['DB']['type'], $config['DB'][$config['DB']['type']]); // open DB
$DBH = $PDO->get_dbh(); // get the handler
//
// session manager
//
$SMAN = new BBKK_Session_Manager(TBL_SESSIONS, $DBH); // constructor
$SMAN->debug_on_screen = false;
$SMAN->salt = $config['SALT']; // explicitly set application salt
$SMAN->start_session('', false); // starting session
//
// session destroy
//
jom_clear_session();
//
// immediate redirect
//
jom_immediate_redirect($config['SERVER']['domain'],
$config['SERVER']['domain_path'],
'login.php',
'r=bye');
?>