Mercurial > urweb
diff src/settings.sig @ 2299:47d5c94aeeb8
Add consolidation heuristic options.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Thu, 19 Nov 2015 17:29:47 -0500 |
parents | 365727ff68f4 |
children | 8d772fbf59c1 |
line wrap: on
line diff
--- a/src/settings.sig Thu Nov 19 16:02:04 2015 -0500 +++ b/src/settings.sig Thu Nov 19 17:29:47 2015 -0500 @@ -281,6 +281,8 @@ val setSqlcache : bool -> unit val getSqlcache : unit -> bool + val setSqlcacheHeuristic : string -> unit + val getSqlcacheHeuristic : unit -> string val setFilePath : string -> unit (* Sets the directory where we look for files being added below. *)