diff options
author | Andrew Dolgov <[email protected]> | 2019-04-10 13:39:55 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2019-04-10 13:39:55 +0300 |
commit | dee1614d0af182ed5fdbe355a468f3df8df37aa7 (patch) | |
tree | 8792960c014ea548a65dbc6ec41afa98bc615b5a /classes/db | |
parent | e31e9ae04d7d3dd9e7a4633badba60d8229eee85 (diff) |
db_prefs: return null if requested key is unset
Diffstat (limited to 'classes/db')
-rw-r--r-- | classes/db/prefs.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/classes/db/prefs.php b/classes/db/prefs.php index 188076134..fbe7e0eea 100644 --- a/classes/db/prefs.php +++ b/classes/db/prefs.php @@ -93,6 +93,8 @@ class Db_Prefs { } else if ($die_on_error) { user_error("Fatal error, unknown preferences key: $pref_name (owner: $user_id)", E_USER_ERROR); return null; + } else { + return null; } } |