Mercurial > urweb
diff src/settings.sig @ 1370:44a12a321150
queryString and effectfulUrl
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 17:29:03 -0500 |
parents | 4dd5d23bace2 |
children | 802c179dac1f |
line wrap: on
line diff
--- a/src/settings.sig Sun Dec 26 15:52:56 2010 -0500 +++ b/src/settings.sig Sun Dec 26 17:29:03 2010 -0500 @@ -35,6 +35,7 @@ (* How do all application URLs begin? *) val setUrlPrefix : string -> unit val getUrlPrefix : unit -> string + val getUrlPrePrefix : unit -> string (* How many seconds should the server wait before assuming a Comet client has left? *) val setTimeout : int -> unit