From de2767711d2efe5cbcc561982c9c4c745d0b16c8 Mon Sep 17 00:00:00 2001
From: Ansgar Becker <ansgarbecker@users.noreply.github.com>
Date: Mon, 14 Feb 2011 09:30:47 +0000
Subject: [PATCH] Flush privileges after user has been dropped.

---
 source/usermanager.pas | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/usermanager.pas b/source/usermanager.pas
index 54d7dc05..70248f98 100644
--- a/source/usermanager.pas
+++ b/source/usermanager.pas
@@ -1072,6 +1072,7 @@ begin
         Conn.Query('DELETE FROM mysql.user WHERE User='+esc(User.Username)+' AND Host='+esc(User.Host))
       else
         Conn.Query('DROP USER '+UserHost);
+      Conn.Query('FLUSH PRIVILEGES');
       FUsers.Remove(User^);
       listUsers.DeleteNode(listUsers.FocusedNode);
     except on E:EDatabaseError do