diff --git a/web/CXM_web_arg_utils.anubis b/web/CXM_web_arg_utils.anubis index 8037ed2..3c37777 100644 --- a/web/CXM_web_arg_utils.anubis +++ b/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 -- libgit2 0.21.4