From c1e45a87b2d15dbfebb789478ce33bafcc5ee4c0 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Thu, 18 Apr 2013 11:38:22 +0400
Subject: [PATCH] db-prefs: use user_error
---
include/db-prefs.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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;
}
--
GitLab