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 | 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, |