eCart 5, after checkout the cart is not cleared

277 <?php



        // Initialize the session.

        // If you are using session_name("something"), don't forget it now!

        session_start();



        //store the user session

        $userSession = $_SESSION['var_CL_ID'];

        $nomeSession = $_SESSION['var_CL_Nominativo'];

        $mailSession = $_SESSION['var_CL_Un_Email'];

        $privSession = $_SESSION['var_CL_Priv'];



        // Unset all of the session variables.

290  $_SESSION = array();



        // If it's desired to kill the session, also delete the session cookie.

        // Note: This will destroy the session, and not just the session data!

        if (ini_get("session.use_cookies")) {

            $params = session_get_cookie_params();

            setcookie(session_name(), '', time() - 42000,

                $params["path"], $params["domain"],

                $params["secure"], $params["httponly"]

           );

300   }



        // Finally, destroy the session.

        session_destroy();

        unset($_SESSION);

        session_regenerate_id();

306

        //reset user session

          $_SESSION['var_CL_ID'] = $userSession;

          $_SESSION['var_CL_Nominativo'] = $nomeSession;

          $_SESSION['var_CL_Un_Email'] = $mailSession;

          $_SESSION['var_CL_Priv'] = $privSession;

312 ?>