diff include/urweb.h @ 693:655bcc9b77e0

_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:03:39 -0400
parents a3ddf05fb3e3
children 7ea0df9e56b6
line wrap: on
line diff
--- a/include/urweb.h	Sat Apr 04 12:54:39 2009 -0400
+++ b/include/urweb.h	Sat Apr 04 14:03:39 2009 -0400
@@ -52,6 +52,8 @@
 const char *uw_Basis_get_settings(uw_context, uw_Basis_string);
 const char *uw_Basis_get_script(uw_context, uw_unit);
 
+void uw_set_needs_push(uw_context, int);
+
 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);
 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string);