diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-11 19:20:37 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-11 19:20:37 -0500 |
commit | 887af944c67e3395679a750a205ef114234c61a0 (patch) | |
tree | 99c1c46f59df9c378621aa8d05b072d50a81698e /src/c | |
parent | f3e4bff668d3be5fcc7a2f6d04b7d9efb8f10624 (diff) |
Add CutMulti
Diffstat (limited to 'src/c')
-rw-r--r-- | src/c/urweb.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index a347dd45..253cda87 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -869,6 +869,13 @@ uw_Basis_string uw_Basis_strdup(uw_context ctx, uw_Basis_string s1) { return s; } +uw_Basis_string uw_Basis_maybe_strdup(uw_context ctx, uw_Basis_string s1) { + if (s1) + return uw_Basis_strdup(ctx, s1); + else + return NULL; +} + char *uw_Basis_sqlifyInt(uw_context ctx, uw_Basis_int n) { int len; |