diff options
author | M.Gergo | 2019-03-08 21:20:34 +0100 |
---|---|---|
committer | M.Gergo | 2019-03-08 21:20:34 +0100 |
commit | f51c9ed2abe5c68211bb3736be5f70b1fe2c9ec0 (patch) | |
tree | e13e60e4b94a3b58f1e2bfbe271102c8f04b67bd /mayor-orig/www/policy/public/session | |
parent | c76a004b0135786f2742283f8d5f917106f58bd8 (diff) | |
download | mayor-f51c9ed2abe5c68211bb3736be5f70b1fe2c9ec0.tar.gz mayor-f51c9ed2abe5c68211bb3736be5f70b1fe2c9ec0.zip |
további rendrakás
Diffstat (limited to 'mayor-orig/www/policy/public/session')
-rw-r--r-- | mayor-orig/www/policy/public/session/logout-pre.php | 29 | ||||
-rw-r--r-- | mayor-orig/www/policy/public/session/set-pre.php | 10 |
2 files changed, 0 insertions, 39 deletions
diff --git a/mayor-orig/www/policy/public/session/logout-pre.php b/mayor-orig/www/policy/public/session/logout-pre.php deleted file mode 100644 index 013be18c..00000000 --- a/mayor-orig/www/policy/public/session/logout-pre.php +++ /dev/null @@ -1,29 +0,0 @@ -<?php - - if (_RIGHTS_OK !== true) die(); - - require('include/share/session/close.php'); - - closeSession(); - closeOldAndIdleSessions(); - if (defined('_ALLOW_SULIX_SSO') && _ALLOW_SULIX_SSO===true) { - session_start(); - unset($_SESSION['portalLoggedPassword']); - unset($_SESSION['szuloDiakIdOk']); - session_destroy(); - header('Location: /'); - } else { -// session_start(); -// unset($_SESSION['szuloDiakIdOk']); -// session_destroy(); - session_start(); - session_unset(); - session_destroy(); - session_write_close(); - setcookie(session_name(),'',0,'/'); - setcookie($sessionID,'',0,'/'); - session_regenerate_id(true); - header('Location: index.php'); - } - -?> diff --git a/mayor-orig/www/policy/public/session/set-pre.php b/mayor-orig/www/policy/public/session/set-pre.php deleted file mode 100644 index d3e77776..00000000 --- a/mayor-orig/www/policy/public/session/set-pre.php +++ /dev/null @@ -1,10 +0,0 @@ -<?php - - if (_RIGHTS_OK !== true) die(); - - global $_JSON; - $layout = readVariable($_GET['layout'],'id',0); - $_SESSION['pageLayout'] = $layout; - $_JSON['success'] = true; - $_JSON['pageLayout'] = $layout; -?> |