Mercurial > urweb

comparison lib/ur/basis.urs @ 1167:5eca51fcd559

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove Basis.getRequestHeader, because it can subvert cookie security
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Feb 2010 13:10:05 -0500
parents b7118ffd32ae
children ad9829c3c12c
comparison
equal deleted inserted replaced
1166:e1df4c63e336 1167:5eca51fcd559
137 val minTime : time 137 val minTime : time
138 val minusSeconds : time -> int -> time 138 val minusSeconds : time -> int -> time
139 139
140 140
141 (** HTTP operations *) 141 (** HTTP operations *)
142
143 val requestHeader : string -> transaction (option string)
144 142
145 con http_cookie :: Type -> Type 143 con http_cookie :: Type -> Type
146 val getCookie : t ::: Type -> http_cookie t -> transaction (option t) 144 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
147 val setCookie : t ::: Type -> http_cookie t -> {Value : t, 145 val setCookie : t ::: Type -> http_cookie t -> {Value : t,
148 Expires : option time, 146 Expires : option time,