comparison include/urweb.h @ 577:3d56940120b1

Setting a source server-side
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 10:49:42 -0500
parents a152905c3c3b
children aa2290c32ce2
comparison
equal deleted inserted replaced
576:813f1e78d9d0 577:3d56940120b1
34 char *uw_get_input(uw_context, int name); 34 char *uw_get_input(uw_context, int name);
35 char *uw_get_optional_input(uw_context, int name); 35 char *uw_get_optional_input(uw_context, int name);
36 36
37 void uw_write(uw_context, const char*); 37 void uw_write(uw_context, const char*);
38 38
39 int uw_Basis_new_client_source(uw_context, uw_unit); 39 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
40 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
41
40 char *uw_Basis_get_script(uw_context, uw_unit); 42 char *uw_Basis_get_script(uw_context, uw_unit);
41 43
42 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int); 44 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
43 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float); 45 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);
44 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string); 46 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string);