Mercurial > urweb

comparison src/settings.sig @ 2192:fb113569519e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make daemon mode support sharing of libraries across projects
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Nov 2015 10:03:35 -0500
parents ced78ef1c82f
children 6eae499c56cb
comparison
equal deleted inserted replaced
2191:849404a3af27 2192:fb113569519e
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature SETTINGS = sig 28 signature SETTINGS = sig
29
30 (* Call this when compiling a new project, e.g. with the Ur/Web daemon or from the SML/NJ REPL.
31 * Some settings stay, but most are reset, especially files cached for the app to serve. *)
32 val reset : unit -> unit
29 33
30 (* XXX these should be unit -> string too *) 34 (* XXX these should be unit -> string too *)
31 val configBin : string ref 35 val configBin : string ref
32 val configLib : string ref 36 val configLib : string ref
33 val configSrcLib : string ref 37 val configSrcLib : string ref