From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Thu, 18 Apr 2013 07:38:22 +0000 (+0400)
Subject: db-prefs: use user_error
X-Git-Tag: 1.7.9~25^2~147
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=c1e45a87b2d15dbfebb789478ce33bafcc5ee4c0;p=tt-rss.git

db-prefs: use user_error
---

diff --git a/include/db-prefs.php b/include/db-prefs.php
index 125f1caa..8336b0cf 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;
 			}