diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-15 18:55:58 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-15 18:55:58 -0400 |
commit | 4b54ea891652138a8d58399bbbfdbb852b70eabd (patch) | |
tree | 12f8f5eac9e735909223542818bb3f9fefc70ef0 /src | |
parent | 4593948fd27e6cdc4c24a0b008ce1beac4df2560 (diff) |
Make 'static' protocol handle unlimited retry
Diffstat (limited to 'src')
-rw-r--r-- | src/c/static.c | 21 | ||||
-rw-r--r-- | src/tutorial.sml | 2 |
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) |