Mercurial > urweb
diff src/settings.sml @ 2299:47d5c94aeeb8
Add consolidation heuristic options.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Thu, 19 Nov 2015 17:29:47 -0500 |
parents | 985c8016b592 |
children | 8d772fbf59c1 |
line wrap: on
line diff
--- a/src/settings.sml Thu Nov 19 16:02:04 2015 -0500 +++ b/src/settings.sml Thu Nov 19 17:29:47 2015 -0500 @@ -811,6 +811,10 @@ fun setSqlcache b = sqlcache := b fun getSqlcache () = !sqlcache +val sqlcacheHeuristic = ref "always" +fun setSqlcacheHeuristic h = sqlcacheHeuristic := h +fun getSqlcacheHeuristic () = !sqlcacheHeuristic + structure SM = BinaryMapFn(struct type ord_key = string val compare = String.compare