diff options
-rw-r--r-- | include/db-prefs.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/db-prefs.php b/include/db-prefs.php index 125f1caaa..8336b0cfe 100644 --- a/include/db-prefs.php +++ b/include/db-prefs.php @@ -97,7 +97,7 @@ } else { if ($die_on_error) { - die("Fatal error, unknown preferences key: $pref_name"); + user_error("Fatal error, unknown preferences key: $pref_name", E_USER_ERROR); } else { return null; } |