index fef58fb1b9836a1ff4387c6842c9e021329a8175..1268cbfc0ec46c45c2da887c7037b9ee72e6f79a 100644 (file)
/* try to start session, so we can remove userlocks,
if the old session is still available */
-@session_start();
-if(isset($_SESSION['ui'])){
+@session::start();
+if(session::is_set('ui')){
/* Get config & ui informations */
- $ui= $_SESSION["ui"];
+ $ui= session::get("ui");
/* config used for del_user_locks & some lines below to detect the language */
- $config= $_SESSION["config"];
+ $config= session::get("config");
/* Remove all locks of this user */
del_user_locks($ui->dn);
if (isset($_GET['request'])){
/* destroy old session */
- @session_unset ();
- @session_destroy ();
+ session::destroy ();
/* If we're not using htaccess authentication, just redirect... */
if (isset($config->data['MAIN']['HTACCESS_AUTH']) && preg_match('/^(true|yes)$/i', $config->data['MAIN']['HTACCESS_AUTH'])){