summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-17 20:12:33 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-17 20:12:33 -0500
commit2f6649aa0b392fefe08e3eb604a93220a0c64324 (patch)
tree9d6ffc099b6ea7d9f7a8d0ec443b7ce22f709242 /src/cjr_print.sml
parenta24c2bdaf85c3d4eef19783e95b11d1cf15add09 (diff)
Fix compilation of apps that don't use database; fix HTTP pipelining
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 5d697eac..1fc0b40f 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3364,7 +3364,7 @@ fun p_file env (ds, ps) =
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,