diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-02-13 13:10:05 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-13 13:10:05 -0500 |
commit | 75b680a703604f97a903c30bb4a50d39d9910aef (patch) | |
tree | b846dcbf0e45e89bc6d03049bced4b362dc161bd | |
parent | aea2020ffb8dc27c3f0cbdad01651f6d199ae105 (diff) |
Remove Basis.getRequestHeader, because it can subvert cookie security
-rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 2d6e50ed..ca54bc7b 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -140,8 +140,6 @@ val minusSeconds : time -> int -> time (** 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, |