index e41c713261d2015a7805d92cb4ec494031e59d62..1268cbfc0ec46c45c2da887c7037b9ee72e6f79a 100644 (file)
/* try to start session, so we can remove userlocks,
if the old session is still available */
-@session_start();
+@session::start();
if(session::is_set('ui')){
/* Get config & ui informations */
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'])){