diff options
| author | 2013-12-25 21:46:24 +0100 | |
|---|---|---|
| committer | 2013-12-25 21:46:24 +0100 | |
| commit | d24b1e963e208a03f08b1d17ed9f319bd59a36ad (patch) | |
| tree | 9355fc67ac91eca6d4ae09162a775b54bd6095c1 /public/install.php | |
| parent | 7eda2793bbc3210ae37aa66511fd7ad7661c2149 (diff) | |
Lancer automatiquement le raffraîchissement des flux après une mise à jour de FreshRSS
https://github.com/marienfressinaud/FreshRSS/issues/330
Diffstat (limited to 'public/install.php')
| -rw-r--r-- | public/install.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/public/install.php b/public/install.php index 13abb010b..ad5527765 100644 --- a/public/install.php +++ b/public/install.php @@ -2,7 +2,8 @@ require('../constants.php'); include(LIB_PATH . '/lib_rss.php'); -session_start (); +session_name('FreshRSS'); +session_start(); if (isset ($_GET['step'])) { define ('STEP', $_GET['step']); @@ -479,6 +480,7 @@ function checkStep () { } elseif (STEP > 3 && $s3['all'] != 'ok') { header ('Location: index.php?step=3'); } + $_SESSION['actualize_feeds'] = true; } function checkStep0 () { moveOldFiles() && removeOldFiles(); |
