Commit 160d06906a0056eab07b5c129546643c279c6f0f
1 parent
b770c5c9
add converter to Web_arg from Int, DB_id
Showing
1 changed file
with
18 additions
and
1 deletions
Show diff stats
web/CXM_web_arg_utils.anubis
| @@ -95,7 +95,24 @@ public define One | @@ -95,7 +95,24 @@ public define One | ||
| 95 | lwa <- _replace_web_arg(*lwa, arg_name, value) | 95 | lwa <- _replace_web_arg(*lwa, arg_name, value) |
| 96 | . | 96 | . |
| 97 | 97 | ||
| 98 | - | 98 | +public define Web_arg |
| 99 | + web_arg | ||
| 100 | + ( | ||
| 101 | + String name, | ||
| 102 | + Int value | ||
| 103 | + )= | ||
| 104 | + web_arg(name, to_String(value)) | ||
| 105 | +. | ||
| 106 | + | ||
| 107 | +public define Web_arg | ||
| 108 | + web_arg | ||
| 109 | + ( | ||
| 110 | + String name, | ||
| 111 | + DB_id value | ||
| 112 | + )= | ||
| 113 | + web_arg(name, to_String(value)) | ||
| 114 | +. | ||
| 115 | + | ||
| 99 | public define Maybe(DB_id) | 116 | public define Maybe(DB_id) |
| 100 | get_mb_DB_id | 117 | get_mb_DB_id |
| 101 | ( | 118 | ( |