diff 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
line wrap: on
line diff
--- a/include/urweb.h	Tue Dec 30 09:43:45 2008 -0500
+++ b/include/urweb.h	Tue Dec 30 10:49:42 2008 -0500
@@ -36,7 +36,9 @@
 
 void uw_write(uw_context, const char*);
 
-int uw_Basis_new_client_source(uw_context, uw_unit);
+uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
+uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
+
 char *uw_Basis_get_script(uw_context, uw_unit);
 
 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);