From 4b54ea891652138a8d58399bbbfdbb852b70eabd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 15 Jul 2011 18:55:58 -0400 Subject: Make 'static' protocol handle unlimited retry --- src/c/static.c | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) (limited to 'src/c') 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; + } } } -- cgit v1.2.3