Show an informative alert when the user was already deleted

diff --git a/quickmod.user.js b/quickmod.user.js
index a30d0752b89421da409767391d8f3b63d359fbe5..2b30f7d389226bc0fb303562939455f4bdb7492b 100644 (file)
--- 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) {