diff options
author | 2010-02-13 13:10:05 -0500 | |
---|---|---|
committer | 2010-02-13 13:10:05 -0500 | |
commit | efd10dd6326e15a3841ad0d28ba81bbbadeb304b (patch) | |
tree | b846dcbf0e45e89bc6d03049bced4b362dc161bd | |
parent | 8eb964a316be8978629340239ca023e5d4ecdc7e (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, |