Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/settings.sig	Sun Nov 01 17:02:16 2015 -0500
+++ b/src/settings.sig	Sun Nov 22 10:03:35 2015 -0500
@@ -27,6 +27,10 @@
 
 signature SETTINGS = sig
 
+    (* Call this when compiling a new project, e.g. with the Ur/Web daemon or from the SML/NJ REPL.
+     * Some settings stay, but most are reset, especially files cached for the app to serve. *)
+    val reset : unit -> unit
+
     (* XXX these should be unit -> string too *)
     val configBin : string ref
     val configLib : string ref