diff --git a/web/web_arg_utils.anubis b/web/web_arg_utils.anubis index 8f351dc..6b6e810 100644 --- a/web/web_arg_utils.anubis +++ b/web/web_arg_utils.anubis @@ -108,6 +108,24 @@ public define Web_arg web_arg ( String name, + Bool value + )= + web_arg(name, to_String(value)) +. + +public define Web_arg + web_arg + ( + String name, + Float value + )= + web_arg(name, float_to_string(value, 10)) +. + +public define Web_arg + web_arg + ( + String name, DB_id value )= web_arg(name, to_String(value)) -- libgit2 0.21.4