summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-13 13:10:05 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-13 13:10:05 -0500
commitefd10dd6326e15a3841ad0d28ba81bbbadeb304b (patch)
treeb846dcbf0e45e89bc6d03049bced4b362dc161bd
parent8eb964a316be8978629340239ca023e5d4ecdc7e (diff)
Remove Basis.getRequestHeader, because it can subvert cookie security
-rw-r--r--lib/ur/basis.urs2
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,