From 72bd165bd051d5d51cd04f05e0bd7c85ca670db2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 17 Dec 2011 13:10:23 -0500
Subject: Allow .urp libraries to set prefix

---
 src/settings.sig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 8f82c8a5..26e220fd 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -36,6 +36,10 @@ signature SETTINGS = sig
     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
-- 
cgit v1.2.3