<?php
require_once "php/model/LocalUserDAO.php";

$dao = new LocalUserDAO();

/*
    Deregistrierung
    Funktion: Entfernt User aus Dummy-Daten und beendet Session
*/

if (isset($_SESSION["user_email"])) {
    $dao->deleteUser($_SESSION["user_email"]);
}

$_SESSION = [];
session_destroy();

header("Location: index.php");
exit();