diff options
author | Andrew Dolgov <[email protected]> | 2019-04-10 13:39:07 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2019-04-10 13:39:07 +0300 |
commit | e31e9ae04d7d3dd9e7a4633badba60d8229eee85 (patch) | |
tree | 19753092686dd4fde279f01aa4676b1ca46e4147 /classes/db/prefs.php | |
parent | 9e200f2cf0c0e12ffa61ce1aff39088ecbf866e0 (diff) |
db_prefs: don't report missing prefs if die_on_error is false
Diffstat (limited to 'classes/db/prefs.php')
-rw-r--r-- | classes/db/prefs.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/classes/db/prefs.php b/classes/db/prefs.php index 1fddd27c5..188076134 100644 --- a/classes/db/prefs.php +++ b/classes/db/prefs.php @@ -90,8 +90,8 @@ class Db_Prefs { return $this->convert($value, $type_name); - } else { - user_error("Fatal error, unknown preferences key: $pref_name (owner: $user_id)", $die_on_error ? E_USER_ERROR : E_USER_WARNING); + } else if ($die_on_error) { + user_error("Fatal error, unknown preferences key: $pref_name (owner: $user_id)", E_USER_ERROR); return null; } } |