# HG changeset patch # User Adam Chlipala # Date 1224611688 14400 # Node ID e756d3a477267af032748351969edd1a3b726632 # Parent 2d64457eedb1e799df76c662a002aef32bb34553 Fix a nasty driver bug, involving memory restarts and marked-up request strings diff -r 2d64457eedb1 -r e756d3a47726 demo/listFun.ur --- a/demo/listFun.ur Tue Oct 21 13:41:03 2008 -0400 +++ b/demo/listFun.ur Tue Oct 21 13:54:48 2008 -0400 @@ -12,6 +12,7 @@ fun console (ls : list M.t) = return Current list: {toXml ls}
+ Reversed list: {toXml (rev ls)}
Length: {[length ls]}

diff -r 2d64457eedb1 -r e756d3a47726 src/c/driver.c --- a/src/c/driver.c Tue Oct 21 13:41:03 2008 -0400 +++ b/src/c/driver.c Tue Oct 21 13:54:48 2008 -0400 @@ -116,7 +116,7 @@ *back = 0; if (s = strstr(buf, "\r\n\r\n")) { - char *cmd, *path, *inputs; + char *cmd, *path, path_copy[uw_bufsize+1], *inputs; *s = 0; @@ -175,7 +175,8 @@ uw_write(ctx, "Content-type: text/html\r\n\r\n"); uw_write(ctx, ""); - fk = uw_begin(ctx, path); + strcpy(path_copy, path); + fk = uw_begin(ctx, path_copy); if (fk == SUCCESS) { uw_write(ctx, ""); break;