Mercurial > urweb
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 (2010-02-13) |
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,