Mercurial > urweb

diff src/cjr_print.sml @ 433:659c17441250

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch exit(1) call to uw_error()
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:16:19 -0400
parents 5de838fb0950
children 1c27f03d9bd2
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Oct 26 08:41:17 2008 -0400
+++ b/src/cjr_print.sml	Mon Oct 27 08:16:19 2008 -0400
@@ -1845,15 +1845,11 @@
                                                             string (Int.toString n),
                                                             string ");",
                                                             newline,
-                                                            string "if (request == NULL) {",
+                                                            string "if (request == NULL)",
                                                             newline,
-                                                            box [string "printf(\"Missing input ",
+                                                            box [string "uw_error(ctx, FATAL, \"Missing input ",
                                                                  string x,
-                                                                 string "\\n\");",
-                                                                 newline,
-                                                                 string "exit(1);"],
-                                                            newline,
-                                                            string "}",
+                                                                 string "\");"],
                                                             newline,
                                                             string "uw_input_",
                                                             p_ident x,