index fef58fb1b9836a1ff4387c6842c9e021329a8175..e41c713261d2015a7805d92cb4ec494031e59d62 100644 (file)
/* try to start session, so we can remove userlocks,
if the old session is still available */
@session_start();
-if(isset($_SESSION['ui'])){
+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);