diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:47:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:47:42 -0400 |
| commit | 28ae7f9f4d524160df6109588855d02eb49e51cf (patch) | |
| tree | 620c7b262daf0fc1a534c88df24b737482cebc6b /src/c | |
| parent | 6d9522c001574db729262073cadb96c75f0f7c44 (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.c | 1 |
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; |