diff options
| author | 2024-03-14 22:44:51 +0100 | |
|---|---|---|
| committer | 2024-03-14 22:44:51 +0100 | |
| commit | cf29ca19c029f6af8dc413f7001bd104ca17999d (patch) | |
| tree | f31ba3325271dfb9f445b3d68689df3f544deb5d /app/Models/UserConfiguration.php | |
| parent | c0db581f2b8cf7bcf8aa43b5a51599a56544d864 (diff) | |
Fix crash during update of existing install (#6205)
fix https://github.com/FreshRSS/FreshRSS/issues/6204
Mess due to https://github.com/FreshRSS/FreshRSS/pull/5511
Diffstat (limited to 'app/Models/UserConfiguration.php')
| -rw-r--r-- | app/Models/UserConfiguration.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/app/Models/UserConfiguration.php b/app/Models/UserConfiguration.php index 7ccaa2671..0b02960c4 100644 --- a/app/Models/UserConfiguration.php +++ b/app/Models/UserConfiguration.php @@ -75,10 +75,14 @@ declare(strict_types=1); final class FreshRSS_UserConfiguration extends Minz_Configuration { use FreshRSS_FilterActionsTrait; - /** @throws Minz_ConfigurationNamespaceException */ + /** @throws Minz_FileNotExistException */ public static function init(string $config_filename, ?string $default_filename = null): FreshRSS_UserConfiguration { parent::register('user', $config_filename, $default_filename); - return parent::get('user'); + try { + return parent::get('user'); + } catch (Minz_ConfigurationNamespaceException $ex) { + FreshRSS::killApp($ex->getMessage()); + } } /** |
