From 52826b0052664ac470fdb2ac2c65bf2349458492 Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Mon, 18 Apr 2005 20:43:26 +0000
Subject: - Patch #20690 by jhriggs: editing a user does not clear the menu
 cache.

---
 modules/user/user.module | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/user/user.module')

diff --git a/modules/user/user.module b/modules/user/user.module
index a1c2cb64c..a2d994816 100644
--- a/modules/user/user.module
+++ b/modules/user/user.module
@@ -1144,7 +1144,7 @@ function user_edit($category = 'account') {
       else {
         user_save($account, $edit, $category);
         // Delete that user's menu cache.
-        cache_clear_all('menu:'. $account->uid);
+        cache_clear_all('menu:'. $account->uid, TRUE);
         drupal_set_message(t('The changes have been saved.'));
         drupal_goto("user/$account->uid");
       }
-- 
cgit v1.2.3