From ad00c1edb8f819c4489dbf1e2106108f92e7bf98 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 26 Dec 2010 17:29:03 -0500 Subject: queryString and effectfulUrl --- src/settings.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'src/settings.sig') diff --git a/src/settings.sig b/src/settings.sig index efbbdb32..c49ecacc 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -35,6 +35,7 @@ signature SETTINGS = sig (* 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 -- cgit v1.2.3