From 66c95f3224f5bca6cd66921c19cf54a6634717aa Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sun, 22 Sep 2002 14:42:32 +0000
Subject: [PATCH] Don't delete a user if already deleted (reloading page, say)

---
 admin/user.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin/user.php b/admin/user.php
index 3e999ebb1c7..e812c4ba232 100644
--- a/admin/user.php
+++ b/admin/user.php
@@ -103,7 +103,7 @@
                      "user.php?delete=$delete&confirm=".md5($delete), "user.php");
 
                 exit;
-            } else {
+            } else if (!$user->deleted) {
                 $user->deleted = "1";
                 $user->username = $user->email;  // Remember it just in case
                 $user->email = "";               // Clear this field to free it up