diff options
author | Andrew Dolgov <[email protected]> | 2006-05-22 12:35:18 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-05-22 12:35:18 +0100 |
commit | 1e107b0fce48e8f5286c16571af6f6500790c98c (patch) | |
tree | 3b86e867bd6c28e04fcbf8979e0ea2b2923649a2 | |
parent | a3c0ae7ca2b5293b3fe596d3ec6e427353d4ae82 (diff) |
override die on error
-rw-r--r-- | db-prefs.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/db-prefs.php b/db-prefs.php index a33dee80d..519b35f23 100644 --- a/db-prefs.php +++ b/db-prefs.php @@ -7,7 +7,7 @@ $_SESSION["prefs_cache"] = array(); } - function get_pref($link, $pref_name, $user_id = false) { + function get_pref($link, $pref_name, $user_id = false, $die_on_error = true) { $pref_name = db_escape_string($pref_name); @@ -49,7 +49,11 @@ return convert_pref_type($value, $type_name); } else { - die("Fatal error, unknown preferences key: $pref_name"); + if ($die_on_error) { + die("Fatal error, unknown preferences key: $pref_name"); + } else { + return null; + } } } |