diff options
Diffstat (limited to 'mayor-orig/www/policy/public/session/logout-pre.php')
-rw-r--r-- | mayor-orig/www/policy/public/session/logout-pre.php | 29 |
1 files changed, 0 insertions, 29 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'); - } - -?> |