diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-04 14:03:39 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-04 14:03:39 -0400 |
commit | cfcc0c0553a13a83cf674b00828c89b6f9459936 (patch) | |
tree | f845ffce49085952ab6313d30ed7d977dc2ab8d6 /include | |
parent | 8e8c217003dcda28e14b330039062d9bf8463e64 (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.h | 2 |
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); |