comparison src/c/urweb.c @ 493:ae03d09043c1

Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 5521bb0b4014
children 6daa59a55c43
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
865 865
866 strcpy(s, s1); 866 strcpy(s, s1);
867 ctx->heap_front += len; 867 ctx->heap_front += len;
868 868
869 return s; 869 return s;
870 }
871
872 uw_Basis_string uw_Basis_maybe_strdup(uw_context ctx, uw_Basis_string s1) {
873 if (s1)
874 return uw_Basis_strdup(ctx, s1);
875 else
876 return NULL;
870 } 877 }
871 878
872 879
873 char *uw_Basis_sqlifyInt(uw_context ctx, uw_Basis_int n) { 880 char *uw_Basis_sqlifyInt(uw_context ctx, uw_Basis_int n) {
874 int len; 881 int len;