diff options
| author | Dries Buytaert <dries@buytaert.net> | 2005-04-18 20:43:26 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2005-04-18 20:43:26 +0000 |
| commit | 52826b0052664ac470fdb2ac2c65bf2349458492 (patch) | |
| tree | a94da60437048091ec2fa5ce0566973486ef3be6 | |
| parent | 3adf556c6a817b0e7689c89af17845a3869a76a3 (diff) | |
| download | brdo-52826b0052664ac470fdb2ac2c65bf2349458492.tar.gz brdo-52826b0052664ac470fdb2ac2c65bf2349458492.tar.bz2 | |
- Patch #20690 by jhriggs: editing a user does not clear the menu cache.
| -rw-r--r-- | modules/user.module | 2 | ||||
| -rw-r--r-- | modules/user/user.module | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/modules/user.module b/modules/user.module index a1c2cb64c..a2d994816 100644 --- a/modules/user.module +++ b/modules/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"); } 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"); } |