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 | 1c1a33420c69bd2c75aa9986830020869e983e6e (patch) | |
| tree | 99c1c46f59df9c378621aa8d05b072d50a81698e /src/c | |
| parent | 1d3089850988710149c0fd8d4a72aa3339e6caca (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; |