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 /include/db-prefs.php | |
| parent | 3f6f085769de4df84e831eefb767c4cdbfb7c64b (diff) | |
db-prefs: use user_error
Diffstat (limited to 'include/db-prefs.php')
| -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; } |