summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 14:03:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 14:03:39 -0400
commitcfcc0c0553a13a83cf674b00828c89b6f9459936 (patch)
treef845ffce49085952ab6313d30ed7d977dc2ab8d6 /include
parent8e8c217003dcda28e14b330039062d9bf8463e64 (diff)
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Diffstat (limited to 'include')
-rw-r--r--include/urweb.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h
index aa574ff3..daf965b0 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -52,6 +52,8 @@ void uw_set_script_header(uw_context, const char*);
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);