From 910a25adbd2ee525b228c8b0d0f73d867fd237d6 Mon Sep 17 00:00:00 2001
From: Brice Maron <brice@bmaron.net>
Date: Wed, 7 Nov 2012 23:34:38 +0000
Subject: [PATCH] Fix deleting multiple user w-o reloading V2

---
 settings/js/users.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/settings/js/users.js b/settings/js/users.js
index 89718b5a1b..249d529df4 100644
--- a/settings/js/users.js
+++ b/settings/js/users.js
@@ -16,7 +16,10 @@ var UserList={
 	 * finishDelete() completes the process. This allows for 'undo'.
 	 */
 	do_delete:function( uid ) {
-		
+		if (typeof UserList.deleteUid !== 'undefined') {
+			//Already a user in the undo queue
+			UserList.finishDelete(null);
+		}
 		UserList.deleteUid = uid;
 		
 		// Set undo flag
-- 
GitLab