# HG changeset patch # User Adam Chlipala # Date 1293469680 18000 # Node ID 4e5ca2a77a4d43cf0cdea97f56245969c9a46157 # Parent 44a12a32115070bb637c97fbeff539bde6da1fd5 Fix time comparison operators; safer saving of queryStrings diff -r 44a12a321150 -r 4e5ca2a77a4d src/c/request.c --- a/src/c/request.c Sun Dec 26 17:29:03 2010 -0500 +++ b/src/c/request.c Mon Dec 27 12:08:00 2010 -0500 @@ -170,9 +170,10 @@ uw_request_context uw_new_request_context(void) { uw_request_context r = malloc(sizeof(struct uw_rc)); - r->path_copy_size = r->queryString_size = 0; + r->path_copy_size = 0; + r->queryString_size = 1; r->path_copy = malloc(0); - r->queryString = malloc(0); + r->queryString = malloc(1); return r; } @@ -201,6 +202,8 @@ int had_error = 0; char errmsg[ERROR_BUF_LEN]; + rc->queryString[0] = 0; + for (s = path; *s; ++s) { if (s[0] == '%' && s[1] == '2' && s[2] == '7') { s[0] = '\''; @@ -389,7 +392,6 @@ rc->queryString = realloc(rc->queryString, len+1); } strcpy(rc->queryString, inputs); - uw_setQueryString(ctx, rc->queryString); while (*inputs) { name = inputs; @@ -416,6 +418,8 @@ log_debug(logger_data, "Serving URI %s....\n", path); while (1) { + uw_setQueryString(ctx, rc->queryString); + if (!had_error) { size_t path_len = strlen(path); diff -r 44a12a321150 -r 4e5ca2a77a4d src/monoize.sml --- a/src/monoize.sml Sun Dec 26 17:29:03 2010 -0500 +++ b/src/monoize.sml Mon Dec 27 12:08:00 2010 -0500 @@ -1112,11 +1112,11 @@ (L'.TFun ((L'.TFfi ("Basis", "bool"), loc), (L'.TFfi ("Basis", "bool"), loc)), loc), (L'.EAbs ("y", (L'.TFfi ("Basis", "bool"), loc), (L'.TFfi ("Basis", "bool"), loc), - (L'.EFfiApp ("Basis", s, [(L'.ERel 1, loc), (L'.ERel 0, loc)]), loc)), loc)), loc) + (L'.EBinop (L'.NotInt, s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) in ordEx ((L'.TFfi ("Basis", "bool"), loc), - boolBin "lt_time", - boolBin "le_time") + boolBin "<", + boolBin "<=") end | L.EFfi ("Basis", "ord_string") => let @@ -1155,7 +1155,7 @@ (L'.TFun ((L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "bool"), loc)), loc), (L'.EAbs ("y", (L'.TFfi ("Basis", "time"), loc), (L'.TFfi ("Basis", "bool"), loc), - (L'.EBinop (L'.NotInt, s, (L'.ERel 1, loc), (L'.ERel 0, loc)), loc)), loc)), loc) + (L'.EFfiApp ("Basis", s, [(L'.ERel 1, loc), (L'.ERel 0, loc)]), loc)), loc)), loc) in ordEx ((L'.TFfi ("Basis", "time"), loc), boolBin "lt_time",