Mercurial > urweb
diff src/settings.sml @ 2301:8d772fbf59c1
Tweak cache consolidation and choose better default.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 20 Nov 2015 03:26:21 -0500 |
parents | 47d5c94aeeb8 |
children | 6fb9232ade99 |
line wrap: on
line diff
--- a/src/settings.sml Thu Nov 19 18:13:01 2015 -0500 +++ b/src/settings.sml Fri Nov 20 03:26:21 2015 -0500 @@ -811,10 +811,6 @@ 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