diff src/cjr_print.sml @ 736:796e42c93c48

Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 5ccb67665d05
children d049d31a1966
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Apr 23 14:10:10 2009 -0400
+++ b/src/cjr_print.sml	Thu Apr 23 16:13:02 2009 -0400
@@ -2497,6 +2497,13 @@
                                     string (!Monoize.urlPrefix),
                                     string "\");",
                                     newline]),
+                     string "uw_set_needs_sig(ctx, ",
+                     string (if couldWrite ek then
+                                 "1"
+                             else
+                                 "0"),
+                     string ");",
+                     newline,
                      string "uw_login(ctx);",
                      newline,
                      box [string "{",