Add helpful message if cakeml-token not found

ncough · Nov 14, 2017 · 7180388 · 7180388
1 parent f662f51
commit 7180388
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/apiLib.sml b/apiLib.sml
@@ -79,6 +79,9 @@ val host = "https://cakeml.org"
 val base_url = "/regression.cgi"
 val server = String.concat[host,base_url]
 val cakeml_token = until_space (file_to_string "cakeml-token")
+                   handle IO.Io _ => (
+                     TextIO.output(TextIO.stdErr,"Could not find cakeml-token. Try sha1sum worker.sml > cakeml-token.\n");
+                     OS.Process.exit OS.Process.failure)
 
 datatype api = Waiting | Refresh
              | Job of id | Claim of id * worker_name