Mercurial > urweb

comparison src/settings.sig @ 1637:e374b6b8ab38

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow .urp libraries to set prefix
author Adam Chlipala <adam@chlipala.net>
date Sat, 17 Dec 2011 13:10:23 -0500
parents 438561303d02
children ac141fbb313a
comparison
equal deleted inserted replaced
1636:2b312f6d4007 1637:e374b6b8ab38
34 34
35 (* How do all application URLs begin? *) 35 (* How do all application URLs begin? *)
36 val setUrlPrefix : string -> unit 36 val setUrlPrefix : string -> unit
37 val getUrlPrefix : unit -> string 37 val getUrlPrefix : unit -> string
38 val getUrlPrePrefix : unit -> string 38 val getUrlPrePrefix : unit -> string
39 val getUrlPrefixFull : unit -> string
40 (* The full prefix is the value that was set explicitly, while the "pre"
41 * prefix gets the protocol/host/port part and the unqualified prefix gets
42 * the URI. *)
39 43
40 (* How many seconds should the server wait before assuming a Comet client has left? *) 44 (* How many seconds should the server wait before assuming a Comet client has left? *)
41 val setTimeout : int -> unit 45 val setTimeout : int -> unit
42 val getTimeout : unit -> int 46 val getTimeout : unit -> int
43 47