diff options
| author | Dries Buytaert <dries@buytaert.net> | 2006-12-07 19:06:34 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2006-12-07 19:06:34 +0000 |
| commit | 5acb423c4f102cd3d821b0386fe913d4867ec9b7 (patch) | |
| tree | f19c8fe9ca90f958645a34d809721f5d2254fe5e | |
| parent | 45363904d57a7255f619c0180c8eeab39c6de54c (diff) | |
| download | brdo-5acb423c4f102cd3d821b0386fe913d4867ec9b7.tar.gz brdo-5acb423c4f102cd3d821b0386fe913d4867ec9b7.tar.bz2 | |
- Patch #16798 by profix898: flush the page cache when someone changes his user profile.
| -rw-r--r-- | modules/user/user.module | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/modules/user/user.module b/modules/user/user.module index c08869e36..4a8471898 100644 --- a/modules/user/user.module +++ b/modules/user/user.module @@ -1471,8 +1471,13 @@ function user_edit_submit($form_id, $form_values) { unset($form_values['_account'], $form_values['op'], $form_values['submit'], $form_values['delete'], $form_values['form_token'], $form_values['form_id'], $form_values['_category']); user_module_invoke('submit', $form_values, $account, $category); user_save($account, $form_values, $category); - // Delete that user's menu cache. + + // Delete that user's menu cache: cache_clear_all($account->uid .':', 'cache_menu', TRUE); + + // Clear the page cache because pages can contain usernames and/or profile information: + cache_clear_all(); + drupal_set_message(t('The changes have been saved.')); return 'user/'. $account->uid; } |