From 9a8cd6a2e7e7634b185a7be798e932a39498ed80 Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Wed, 6 Oct 2004 11:51:48 +0000
Subject: - Patch #11312 by killes: fixed problems with menu caching.

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

(limited to 'modules/user.module')

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