diff options
| author | 2021-05-15 21:33:43 +0200 | |
|---|---|---|
| committer | 2021-05-15 21:33:43 +0200 | |
| commit | 97ba6261a8eb7f94963ecc91043e5a2d54ffd248 (patch) | |
| tree | b58419a63e8ce687d5132a038bd7cbde5e1fa8d1 /p | |
| parent | ffb0e30dde98bcef1b3fa0bfb020c3a478c6a402 (diff) | |
git update auto change to edge branch (#3589)
* git update auto change to edge branch
For existing installations using automatic git update, checkout *edge* branch if it was still using *master* or *dev*.
* One more prune
* Fix several small issues
* theirs does not work here
* Use migration mechanism
* Better handling of Migration errors
* Test details
* Fix tests
* Do not use new migration system for now
Diffstat (limited to 'p')
| -rwxr-xr-x | p/i/index.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/p/i/index.php b/p/i/index.php index 3591c4446..71b19a1ca 100755 --- a/p/i/index.php +++ b/p/i/index.php @@ -63,8 +63,8 @@ if (!file_exists($applied_migrations_path)) { } if ($error) { - Minz_Log::error($error); - errorMessage('Fatal error'); syslog(LOG_INFO, 'FreshRSS Fatal error! ' . $error); + Minz_Log::error($error); + die(errorMessage('Fatal error', $error)); } } |
