summaryrefslogtreecommitdiff
path: root/src/c
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-12 16:47:42 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-12 16:47:42 -0400
commit28ae7f9f4d524160df6109588855d02eb49e51cf (patch)
tree620c7b262daf0fc1a534c88df24b737482cebc6b /src/c
parent6d9522c001574db729262073cadb96c75f0f7c44 (diff)
Make 'static' protocol commit transactions, to force rewriting of HTML documents with JavaScript links, etc.
Diffstat (limited to 'src/c')
-rw-r--r--src/c/static.c1
1 files changed, 1 insertions, 0 deletions
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;