diff options
| author | 2017-03-03 23:15:50 +0100 | |
|---|---|---|
| committer | 2017-03-03 23:15:50 +0100 | |
| commit | 37957d45b24306f494554ee1e6c911998ca68643 (patch) | |
| tree | a28ca48d416124d4667e6f2c91004b2cb1e0c661 /cli | |
| parent | ada94465e62d5809303afffc636fdae87aff2738 (diff) | |
Allows do-install.php only if data/do-install.txt exists
https://github.com/FreshRSS/FreshRSS/issues/1449
Diffstat (limited to 'cli')
| -rwxr-xr-x | cli/do-install.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cli/do-install.php b/cli/do-install.php index 4cd7597fe..143ca5c3e 100755 --- a/cli/do-install.php +++ b/cli/do-install.php @@ -3,6 +3,10 @@ require('_cli.php'); require(LIB_PATH . '/lib_install.php'); +if (!file_exists(DATA_PATH . '/do-install.txt')) { + fail('FreshRSS looks to be already installed! Please use `./cli/reconfigure.php` instead.'); +} + $params = array( 'environment:', 'base_url:', |
