diff src/c/urweb.c @ 1332:4dd5d23bace2

minHeap option in .urp files
author Adam Chlipala <adam@chlipala.net>
date Sat, 11 Dec 2010 15:16:04 -0500
parents 452b14d88a10
children a1aa62b472cf
line wrap: on
line diff
--- a/src/c/urweb.c	Sat Dec 11 13:42:54 2010 -0500
+++ b/src/c/urweb.c	Sat Dec 11 15:16:04 2010 -0500
@@ -348,7 +348,7 @@
   app->client_init();
 }
 
-int uw_time = 0, uw_time_max = 0;
+int uw_time = 0, uw_time_max = 0, uw_min_heap = 0;
 
 
 // Single-request state
@@ -461,7 +461,7 @@
   buf_init(uw_headers_max, &ctx->outHeaders, 0);
   buf_init(uw_page_max, &ctx->page, 0);
   ctx->returning_indirectly = 0;
-  buf_init(uw_heap_max, &ctx->heap, 0);
+  buf_init(uw_heap_max, &ctx->heap, uw_min_heap);
   buf_init(uw_script_max, &ctx->script, 1);
   ctx->script.start[0] = 0;