Structure Mosmlcookie
(* Mosmlcookie -- getting and setting cookies in CGI scripts *)
exception CookieError of string
val allCookies : string list
val getCookieValue : string -> string option
val getCookie : string -> string option
type cookiedata =
{ name : string,
value : string,
expiry : Date.date option,
domain : string option,
path : string option,
secure : bool }
val setCookie : cookiedata -> string
val setCookies : cookiedata list -> string
val deleteCookie : { name : string, path : string option } -> string
(*
These functions may be used in CGI scripts to get and set cookies.
(c) Hans Molin, Computing Science Dept., Uppsala University, 1999.
[getCookieValue ck] returns SOME(v) where v is the value associated
with the cookie ck, if any; otherwise returns NONE.
[getCookie ck] returns SOME(nv) where nv is the ck=value string
for the cookie ck, if any; otherwise returns NONE.
[allCookies] is a list [nv1, nv2, ..., nvm] of all the ck=value
pairs of defined cookies.
[setCookie { name, value, expiry, domain, path, secure }] returns a
string which (when transmitted to a browser as part of the HTTP
response header) sets a cookie with the given name, value, expiry
date, domain, path, and security.
[setCookies ckds] returns a string which (when transmitted to a
browser as part of the HTTP response header) sets the specified cookies.
[deleteCookie { name, path }] returns a string which (when
transmitted to a browser as part of the HTTP response header)
deletes the specified cookie by setting its expiry to some time in
the past.
*)
Moscow ML 2.00