# HG changeset patch # User Adam Chlipala # Date 1217361722 14400 # Node ID 2232ab355f6651465721a30932bf67374dd045cc # Parent 25b169416ea805d9a16bb2b41f0fcd7ff7a596c2 Took more advantage of new ability to exit with an error message diff -r 25b169416ea8 -r 2232ab355f66 src/c/lacweb.c --- a/src/c/lacweb.c Tue Jul 29 15:43:17 2008 -0400 +++ b/src/c/lacweb.c Tue Jul 29 16:02:02 2008 -0400 @@ -2,7 +2,6 @@ #include #include #include -#include #include #include @@ -97,20 +96,22 @@ void lw_set_input(lw_context ctx, char *name, char *value) { int n = lw_input_num(name); - if (n < 0) { - printf("Bad input name"); - exit(1); - } + if (n < 0) + lw_error(ctx, FATAL, "Bad input name %s", name); - assert(n < lw_inputs_len); + if (n >= lw_inputs_len) + lw_error(ctx, FATAL, "For input name %s, index %d is out of range", name, n); + ctx->inputs[n] = value; printf("[%d] %s = %s\n", n, name, value); } char *lw_get_input(lw_context ctx, int n) { - assert(n >= 0); - assert(n < lw_inputs_len); + if (n < 0) + lw_error(ctx, FATAL, "Negative input index %d", n); + if (n >= lw_inputs_len) + lw_error(ctx, FATAL, "Out-of-bounds input index %d", n); printf("[%d] = %s\n", n, ctx->inputs[n]); return ctx->inputs[n]; } @@ -123,14 +124,15 @@ for (next = ctx->heap_back - ctx->heap_front; next < desired; next *= 2); new_heap = realloc(ctx->heap, next); + ctx->heap_front = new_heap; + ctx->heap_back = new_heap + next; if (new_heap != ctx->heap) { ctx->heap = new_heap; - puts("Couldn't get contiguous chunk"); - exit(1); + lw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new heap chunk contiguously"); } - ctx->heap_back = new_heap + next; + ctx->heap = new_heap; } } @@ -402,7 +404,7 @@ return r; } -static lw_Basis_string lw_unurlifyString_to(char *r, char *s) { +static lw_Basis_string lw_unurlifyString_to(lw_context ctx, char *r, char *s) { char *s1, *s2; int n; @@ -414,8 +416,12 @@ *s1 = ' '; break; case '%': - assert(s2[1] != 0 && s2[2] != 0); - sscanf(s2+1, "%02X", &n); + if (s2[1] == 0) + lw_error(ctx, FATAL, "Missing first character of escaped URL byte"); + if (s2[2] == 0) + lw_error(ctx, FATAL, "Missing second character of escaped URL byte"); + if (sscanf(s2+1, "%02X", &n) != 1) + lw_error(ctx, FATAL, "Invalid escaped URL byte starting at: %s", s2); *s1 = n; s2 += 2; break; @@ -436,7 +442,7 @@ lw_check_heap(ctx, len + 1); r = ctx->heap_front; - ctx->heap_front = lw_unurlifyString_to(ctx->heap_front, *s); + ctx->heap_front = lw_unurlifyString_to(ctx, ctx->heap_front, *s); *s = new_s; return r; }