From 28ae7f9f4d524160df6109588855d02eb49e51cf Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Wed, 12 Jul 2017 16:47:42 -0400
Subject: Make 'static' protocol commit transactions, to force rewriting of
 HTML documents with JavaScript links, etc.

---
 src/c/static.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/c/static.c b/src/c/static.c
index 7f63d393..d70881e2 100644
--- a/src/c/static.c
+++ b/src/c/static.c
@@ -38,6 +38,7 @@ int main(int argc, char *argv[]) {
     fk = uw_begin(ctx, argv[1]);
 
     if (fk == SUCCESS || fk == RETURN_INDIRECTLY) {
+      uw_commit(ctx);
       uw_print(ctx, 1);
       puts("");
       return 0;
-- 
cgit v1.2.3