add get_DB_id with default value which can be use if the db_id is not found

totoro
1 parent dcdc3e88
Showing 1 changed file with 14 additions and 0 deletions Show diff stats
web/CXM_web_arg_utils.anubis
@@ -123,6 +123,20 @@ public define DB_id
   get_DB_id
   (
     List(Web_arg) lwa,
+    String        arg_name,
+    DB_id         defaut_value
+  ) =
+  if get_mb_DB_id(lwa, arg_name) is
+  {
+    failure         then defaut_value,
+    success(value)  then value
+  }
+.
+
+public define DB_id
+  get_DB_id
+  (
+    List(Web_arg) lwa,
     String        arg_name
   ) =
   if get_mb_DB_id(lwa, arg_name) is