Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/settings.sig	Sat Dec 17 12:01:31 2011 -0500
+++ b/src/settings.sig	Sat Dec 17 13:10:23 2011 -0500
@@ -36,6 +36,10 @@
     val setUrlPrefix : string -> unit
     val getUrlPrefix : unit -> string
     val getUrlPrePrefix : unit -> string
+    val getUrlPrefixFull : unit -> string
+    (* The full prefix is the value that was set explicitly, while the "pre"
+     * prefix gets the protocol/host/port part and the unqualified prefix gets
+     * the URI. *)
 
     (* How many seconds should the server wait before assuming a Comet client has left? *)
     val setTimeout : int -> unit