diff options
author | Dries Buytaert <dries@buytaert.net> | 2009-06-02 06:58:17 +0000 |
---|---|---|
committer | Dries Buytaert <dries@buytaert.net> | 2009-06-02 06:58:17 +0000 |
commit | e474fbbd6c57ed6de2ef4b0e826a6ba3b75a11c9 (patch) | |
tree | 85d19a7a34d41f2de22770376aae166537ae9caf /update.php | |
parent | ec78fef144b70854d2a9b770c135960cd9ad8517 (diff) | |
download | brdo-e474fbbd6c57ed6de2ef4b0e826a6ba3b75a11c9.tar.gz brdo-e474fbbd6c57ed6de2ef4b0e826a6ba3b75a11c9.tar.bz2 |
- Patch #477944 by Damien Tournoud: fix and streamline page cache and session handling.
Diffstat (limited to 'update.php')
-rw-r--r-- | update.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/update.php b/update.php index 89c33b9d9..a0fb6d924 100644 --- a/update.php +++ b/update.php @@ -292,7 +292,7 @@ function update_batch() { // During the update, bring the site offline so that schema changes do not // affect visiting users. - drupal_set_session('site_offline', variable_get('site_offline', FALSE)); + $_SESSION['site_offline'] = variable_get('site_offline', FALSE); if ($_SESSION['site_offline'] == FALSE) { variable_set('site_offline', TRUE); } @@ -326,9 +326,9 @@ function update_finished($success, $results, $operations) { // clear the caches in case the data has been updated. drupal_flush_all_caches(); - drupal_set_session('update_results', $results); - drupal_set_session('update_success', $success); - drupal_set_session('updates_remaining', $operations); + $_SESSION['update_results'] = $results; + $_SESSION['update_success'] = $success; + $_SESSION['updates_remaining'] = $operations; // Now that the update is done, we can put the site back online if it was // previously turned off. |