changeset 433:659c17441250

Switch exit(1) call to uw_error()
author Adam Chlipala <adamc@hcoop.net>
date Mon, 27 Oct 2008 08:16:19 -0400 (2008-10-27)
parents 5de838fb0950
children c471345f5165
files CHANGELOG src/cjr_print.sml
diffstat 2 files changed, 15 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CHANGELOG	Mon Oct 27 08:16:19 2008 -0400
@@ -0,0 +1,12 @@
+========
+20081027
+========
+
+- On missing inputs, print an error message, but don't exit the web server.
+
+========
+20081026
+========
+
+- Change 'sed' call to work on OSX.
+- Avoid including or linking libpq files on apps that don't use SQL.
--- 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,