From 160d06906a0056eab07b5c129546643c279c6f0f Mon Sep 17 00:00:00 2001 From: totoro Date: Tue, 20 Mar 2018 14:41:06 +0100 Subject: [PATCH] add converter to Web_arg from Int, DB_id --- web/CXM_web_arg_utils.anubis | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/web/CXM_web_arg_utils.anubis b/web/CXM_web_arg_utils.anubis index e45a318..954d577 100644 --- a/web/CXM_web_arg_utils.anubis +++ b/web/CXM_web_arg_utils.anubis @@ -95,7 +95,24 @@ public define One lwa <- _replace_web_arg(*lwa, arg_name, value) . - +public define Web_arg + web_arg + ( + String name, + Int value + )= + web_arg(name, to_String(value)) +. + +public define Web_arg + web_arg + ( + String name, + DB_id value + )= + web_arg(name, to_String(value)) +. + public define Maybe(DB_id) get_mb_DB_id ( -- libgit2 0.21.4