diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-21 15:48:08 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-21 15:48:08 -0500 |
commit | ba9cbd82cbd87250308519ae0d9570959d53d75b (patch) | |
tree | 0f386fe5fb67b87bd1cd61241a489c492b9e0423 /src | |
parent | d967a12fd83892bb8bfb663dec6b989643ca21c2 (diff) |
Get message-passing working in IE6
Diffstat (limited to 'src')
-rw-r--r-- | src/c/urweb.c | 4 | ||||
-rw-r--r-- | src/cjr_print.sml | 12 |
2 files changed, 10 insertions, 6 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index 72f78a33..e75d0c66 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -672,6 +672,8 @@ static input *check_input_space(uw_context ctx, size_t len) { } int uw_set_input(uw_context ctx, const char *name, char *value) { + printf("Input name %s\n", name); + if (!strcasecmp(name, ".b")) { int n = uw_input_num(value); input *inps; @@ -760,6 +762,8 @@ int uw_set_input(uw_context ctx, const char *name, char *value) { int n = uw_input_num(name); if (n < 0) { + if (!strcmp(name, "null")) + return 0; uw_set_error(ctx, "Bad input name %s", name); return -1; } diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 164035eb..e459db62 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2575,16 +2575,16 @@ fun p_file env (ds, ps) = end, string "\");", newline, - string "uw_set_needs_push(ctx, ", - string (case side of - ServerAndPullAndPush => "1" - | _ => "0"), - string ");", - newline, string "uw_set_url_prefix(ctx, \"", string (Settings.getUrlPrefix ()), string "\");", newline]), + string "uw_set_needs_push(ctx, ", + string (case side of + ServerAndPullAndPush => "1" + | _ => "0"), + string ");", + newline, string "uw_set_needs_sig(ctx, ", string (if couldWrite ek then "1" |