diff include/urweb.h @ 1465:2f5fd248588d

getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents b6ce8ef0ea88
children ebc30bb262d0
line wrap: on
line diff
--- a/include/urweb.h	Sun May 29 13:31:53 2011 -0400
+++ b/include/urweb.h	Sun May 29 14:29:26 2011 -0400
@@ -217,9 +217,16 @@
 
 uw_Basis_string uw_Basis_bless(uw_context, uw_Basis_string);
 uw_Basis_string uw_Basis_blessMime(uw_context, uw_Basis_string);
+uw_Basis_string uw_Basis_blessRequestHeader(uw_context, uw_Basis_string);
+uw_Basis_string uw_Basis_blessResponseHeader(uw_context, uw_Basis_string);
 
 uw_Basis_string uw_Basis_checkUrl(uw_context, uw_Basis_string);
 uw_Basis_string uw_Basis_checkMime(uw_context, uw_Basis_string);
+uw_Basis_string uw_Basis_checkRequestHeader(uw_context, uw_Basis_string);
+uw_Basis_string uw_Basis_checkResponseHeader(uw_context, uw_Basis_string);
+
+uw_Basis_string uw_Basis_getHeader(uw_context, uw_Basis_string name);
+uw_unit uw_Basis_setHeader(uw_context, uw_Basis_string name, uw_Basis_string value);
 
 uw_Basis_string uw_unnull(uw_Basis_string);
 uw_Basis_string uw_Basis_makeSigString(uw_context, uw_Basis_string);