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