From a322ce4dfba5151d71169d53ac3c46db340f6c8e Mon Sep 17 00:00:00 2001
From: Yohann D'ANELLO <yohann.danello@gmail.com>
Date: Mon, 13 Apr 2020 03:57:34 +0200
Subject: [PATCH] Fix user deletion

---
 server_files/controllers/informations.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/server_files/controllers/informations.php b/server_files/controllers/informations.php
index e50ed98..b45e68a 100644
--- a/server_files/controllers/informations.php
+++ b/server_files/controllers/informations.php
@@ -5,6 +5,9 @@ if (!isset($_SESSION["role"]))
 
 $id = $_GET["id"];
 $user = User::fromId($id);
+if ($user == null)
+    require_once "server_files/404.php";
+
 $team = Team::fromId($user->getTeamId());
 
 if ($_SESSION["role"] != Role::ADMIN) {
@@ -70,9 +73,6 @@ if (isset($_POST["view_as"]) && $_SESSION["role"] == Role::ADMIN) {
 }
 
 if (isset($_POST["delete_account"]) && $team == null && $_SESSION["role"] == Role::ADMIN) {
-    /** @var Document $document */
-    foreach ($user->getAllDocuments($team->getTournamentId()) as $document)
-        unlink($LOCAL_PATH . "/files/" . $document->getFileId());
     $DB->prepare("DELETE FROM `documents` WHERE `user` = ?;")->execute([$user->getId()]);
 	$DB->prepare("DELETE FROM `organizers` WHERE `organizer` = ?;")->execute([$user->getId()]);
 	$DB->prepare("DELETE FROM `users` WHERE `id` = ?;")->execute([$user->getId()]);