From 5f5229381acb24b444f05513b0123ae62a5cb092 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 15 Jul 2011 18:55:58 -0400
Subject: Make 'static' protocol handle unlimited retry

---
 src/c/static.c   | 21 ++++++++++++---------
 src/tutorial.sml |  2 +-
 2 files changed, 13 insertions(+), 10 deletions(-)

(limited to 'src')

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)
-- 
cgit v1.2.3