summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-15 18:55:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-15 18:55:58 -0400
commit4b54ea891652138a8d58399bbbfdbb852b70eabd (patch)
tree12f8f5eac9e735909223542818bb3f9fefc70ef0 /src
parent4593948fd27e6cdc4c24a0b008ce1beac4df2560 (diff)
Make 'static' protocol handle unlimited retry
Diffstat (limited to 'src')
-rw-r--r--src/c/static.c21
-rw-r--r--src/tutorial.sml2
2 files changed, 13 insertions, 10 deletions
diff --git a/src/c/static.c b/src/c/static.c
index 76b04e45..6be67237 100644
--- a/src/c/static.c
+++ b/src/c/static.c
@@ -25,15 +25,18 @@ int main(int argc, char *argv[]) {
ctx = uw_init(0, NULL, log_debug);
uw_set_app(ctx, &uw_application);
- fk = uw_begin(ctx, argv[1]);
-
- if (fk == SUCCESS) {
- uw_print(ctx, 1);
- puts("");
- return 0;
- } else {
- fprintf(stderr, "Error!\n");
- return 1;
+
+ while (1) {
+ fk = uw_begin(ctx, argv[1]);
+
+ if (fk == SUCCESS) {
+ uw_print(ctx, 1);
+ puts("");
+ return 0;
+ } else if (fk != UNLIMITED_RETRY) {
+ fprintf(stderr, "Error: %s\n", uw_error_message(ctx));
+ return 1;
+ }
}
}
diff --git a/src/tutorial.sml b/src/tutorial.sml
index f6b9defb..8d60ed11 100644
--- a/src/tutorial.sml
+++ b/src/tutorial.sml
@@ -79,7 +79,7 @@ fun fixupFile (fname, title) =
else
let
val (befor', after) = Substring.position " </span><span class=\"comment-delimiter\">*)</span>"
- (Substring.slice (after, 64, NONE))
+ (Substring.slice (after, 64, NONE))
in
if Substring.isEmpty after then
TextIO.outputSubstr (outf, source)