Don't delete a user if already deleted (reloading page, say)

diff --git a/admin/user.php b/admin/user.php
index 3e999ebb1c72c0eaed486e93992c147a28948dab..e812c4ba232c24bd1308cfd29ce1321051336ebf 100644 (file)
--- 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