From 054ed340a319f6c33efc44919bfbfc89b235833f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Nov 2015 10:03:35 -0500
Subject: Make daemon mode support sharing of libraries across projects

---
 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 9b32e502..d918f0c5 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -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
-- 
cgit v1.2.3