From 3840c43403efc63b6e8fb958444b6727150973a5 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sun, 1 Dec 2013 09:27:01 -0500
Subject: [PATCH] This is undefined when we copy a user without deleting the
 old one

---
 js/server_privileges.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/server_privileges.js b/js/server_privileges.js
index 9128310fe8..98c9583b21 100644
--- a/js/server_privileges.js
+++ b/js/server_privileges.js
@@ -493,7 +493,7 @@ AJAX.registerOnload('server_privileges.js', function () {
                 } //Show SQL Query that was executed
 
                 // Remove the old row if the old user is deleted
-                if ($row_to_remove !== null) {
+                if (typeof $row_to_remove != 'undefined' && $row_to_remove !== null) {
                     $row_to_remove.remove();
                 }