Example #1
0
 public function getOutput()
 {
     global $gvPath;
     if ($_SESSION['userLevel'] === Page::OPERATOR_USER) {
         Session::logoutOperator();
     }
     session_destroy();
     unset($_SESSION);
     session_start();
     session_regenerate_id();
     gfSetDelayedMsg('Logout effettuato correttamente.');
     $redirect = new RedirectOutput("{$gvPath}/application/logoutPage");
     return $redirect;
 }