diff include/urweb.h @ 736:796e42c93c48

Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents f2a2be93331c
children d049d31a1966
line wrap: on
line diff
--- a/include/urweb.h	Thu Apr 23 14:10:10 2009 -0400
+++ b/include/urweb.h	Thu Apr 23 16:13:02 2009 -0400
@@ -55,6 +55,7 @@
 uw_Basis_string uw_Basis_maybe_onload(uw_context, uw_Basis_string);
 
 void uw_set_needs_push(uw_context, int);
+void uw_set_needs_sig(uw_context, int);
 
 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);