# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1262716227 18000
# Node ID 31ef567fa772dc122360408d68595126bcc0de54
# Parent  ce56795b2e5fa85a6feeb83416a1dd7ffdfc5615
Clear script_header in uw_reset()

diff -r ce56795b2e5f -r 31ef567fa772 src/c/urweb.c
--- a/src/c/urweb.c	Tue Jan 05 10:22:55 2010 -0500
+++ b/src/c/urweb.c	Tue Jan 05 13:30:27 2010 -0500
@@ -553,6 +553,7 @@
   ctx->client = NULL;
   ctx->cur_container = NULL;
   ctx->used_transactionals = 0;
+  ctx->script_header = "";
 }
 
 void uw_reset_keep_request(uw_context ctx) {