summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-05 13:30:27 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-05 13:30:27 -0500
commit17c13c4ba62fa3c8d5c438b2256190de28d40b5f (patch)
tree12f80ef582d7fbc1261972c53d46c81d197cb223
parent38803135d0ab33c5728595c9a7b787d88751765f (diff)
Clear script_header in uw_reset()
-rw-r--r--src/c/urweb.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 79207abc..fccb1756 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -553,6 +553,7 @@ void uw_reset_keep_error_message(uw_context ctx) {
ctx->client = NULL;
ctx->cur_container = NULL;
ctx->used_transactionals = 0;
+ ctx->script_header = "";
}
void uw_reset_keep_request(uw_context ctx) {