diff options
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()); + } } /** |