From f5eb2c9bf1f456ca1e780c8314bc934a82523dd4 Mon Sep 17 00:00:00 2001
From: JTH <JTH@debianforum.de>
Date: Fri, 16 Sep 2022 16:32:02 +0200
Subject: [PATCH] Show an informative alert when the user was already deleted

---
 quickmod.user.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/quickmod.user.js b/quickmod.user.js
index a30d075..2b30f7d 100644
--- a/quickmod.user.js
+++ b/quickmod.user.js
@@ -154,6 +154,8 @@ async function remove_post_handler(event) {
         } catch (err) {
             errors.push(err);
         }
+    } else if (!userStillExists) {
+        window.alert(`Benutzer „${username}“ wurde schon gelöscht und kann nicht mehr gesperrt werden.`);
     }
 
     if (shouldCloseReport) {
-- 
2.39.5