1
0
mirror of https://tt-rss.org/git/tt-rss.git synced 2024-06-30 12:30:52 +02:00

db_prefs: don't report missing prefs if die_on_error is false

This commit is contained in:
Andrew Dolgov 2019-04-10 13:39:07 +03:00
parent 9e200f2cf0
commit e31e9ae04d

View File

@ -90,8 +90,8 @@ class Db_Prefs {
return $this->convert($value, $type_name); return $this->convert($value, $type_name);
} else { } else if ($die_on_error) {
user_error("Fatal error, unknown preferences key: $pref_name (owner: $user_id)", $die_on_error ? E_USER_ERROR : E_USER_WARNING); user_error("Fatal error, unknown preferences key: $pref_name (owner: $user_id)", E_USER_ERROR);
return null; return null;
} }
} }