db-prefs: use user_error

12 years ago · c1e45a87b2
parent 3f6f085769
commit c1e45a87b2
1 changed files with 1 additions and 1 deletions
--- 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;
 			}