diff src/cjr_print.sml @ 1937:94f9570671f0

Fix compilation of apps that don't use database; fix HTTP pipelining
author Adam Chlipala <adam@chlipala.net>
date Tue, 17 Dec 2013 20:12:33 -0500
parents 6745eafff617
children ac1be85e91ad
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Dec 12 17:42:48 2013 -0500
+++ b/src/cjr_print.sml	Tue Dec 17 20:12:33 2013 -0500
@@ -3364,7 +3364,7 @@
                       newline,
                       string "static void uw_db_init(uw_context ctx) { };",
                       newline,
-                      string "static int uw_db_begin(uw_context ctx) { return 0; };",
+                      string "static int uw_db_begin(uw_context ctx, int could_write) { return 0; };",
                       newline,
                       string "static void uw_db_close(uw_context ctx) { };",
                       newline,