diff options
author | Andrew Dolgov <[email protected]> | 2013-04-18 11:38:22 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2013-04-18 11:38:22 +0400 |
commit | c1e45a87b2d15dbfebb789478ce33bafcc5ee4c0 (patch) | |
tree | 0889a6ea29c03be355e4e4d932acadf38896f4c9 | |
parent | 3f6f085769de4df84e831eefb767c4cdbfb7c64b (diff) |
db-prefs: use user_error
-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; } |