changeset 1167:5eca51fcd559

Remove Basis.getRequestHeader, because it can subvert cookie security
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Feb 2010 13:10:05 -0500
parents e1df4c63e336
children 69f1d39d3f2d
files lib/ur/basis.urs
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Feb 13 10:13:50 2010 -0500
+++ b/lib/ur/basis.urs	Sat Feb 13 13:10:05 2010 -0500
@@ -140,8 +140,6 @@
 
 (** HTTP operations *)
 
-val requestHeader : string -> transaction (option string)
-
 con http_cookie :: Type -> Type
 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
 val setCookie : t ::: Type -> http_cookie t -> {Value : t,