diff options
| author |  Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-07-23 12:38:22 +0200 |
|---|---|---|
| committer | Marien Fressinaud <dev@marienfressinaud.fr>
| 2015-07-23 12:38:22 +0200 |
| commit | 339e32424fa60fc0c99a4c10890abef139444f6d (patch) | |
| tree | 6e293d2dec618b04cfd3fedca36484ac51eb455a /app/install.php | |
| parent | eaccc1eba4bf7a00a6cce26de9e4da22067fe86b (diff) | |
Add a simple test to detect if server is public
If the server is not accessible by an external server, pubsubhubbub should be
disable.
See https://github.com/FreshRSS/FreshRSS/issues/865
Diffstat (limited to 'app/install.php')
| -rw-r--r-- | app/install.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/install.php b/app/install.php index 3930a3d41..65138a683 100644 --- a/app/install.php +++ b/app/install.php @@ -229,6 +229,7 @@ function saveStep3() { 'prefix' => $_SESSION['bd_prefix'], 'pdo_options' => array(), ), + 'enable_pubsubhubbub' => server_is_public($base_url), ); @unlink(join_path(DATA_PATH, 'config.php')); //To avoid access-rights problems |