# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1294336154 18000
# Node ID 86d23010ea748b6cf1c94887c34502de226891ae
# Parent  0af6bd2dd149d3d694bc48ad429507ba70f4716b
Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking

diff -r 0af6bd2dd149 -r 86d23010ea74 src/c/urweb.c
--- a/src/c/urweb.c	Thu Jan 06 12:31:13 2011 -0500
+++ b/src/c/urweb.c	Thu Jan 06 12:49:14 2011 -0500
@@ -927,12 +927,8 @@
   } else {
     int n = ctx->app->input_num(name);
 
-    if (n < 0) {
-      if (!strcmp(name, "null"))
-        return 0;
-      uw_set_error(ctx, "Bad input name %s", name);
-      return -1;
-    }
+    if (n < 0)
+      return 0;
 
     if (n >= ctx->app->inputs_len) {
       uw_set_error(ctx, "For input name %s, index %d is out of range", name, n);
diff -r 0af6bd2dd149 -r 86d23010ea74 src/cjr_print.sml
--- a/src/cjr_print.sml	Thu Jan 06 12:31:13 2011 -0500
+++ b/src/cjr_print.sml	Thu Jan 06 12:49:14 2011 -0500
@@ -2588,7 +2588,7 @@
                         Link => false
                       | Action ef => ef = ReadCookieWrite
                       | Rpc ef => ef = ReadCookieWrite
-                      | Extern ef => ef = ReadCookieWrite
+                      | Extern _ => false
 
                 val s =
                     case Settings.getUrlPrefix () of