comparison src/settings.sml @ 2213:365727ff68f4

Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
author Ziv Scully <ziv@mit.edu>
date Tue, 14 Oct 2014 18:05:09 -0400
parents ced78ef1c82f
children e10881cd92da
comparison
equal deleted inserted replaced
2212:388ba4dc7c96 2213:365727ff68f4
742 742
743 val less = ref false 743 val less = ref false
744 fun setLessSafeFfi b = less := b 744 fun setLessSafeFfi b = less := b
745 fun getLessSafeFfi () = !less 745 fun getLessSafeFfi () = !less
746 746
747 val sqlcache = ref false
748 fun setSqlcache b = sqlcache := b
749 fun getSqlcache () = !sqlcache
750
747 structure SM = BinaryMapFn(struct 751 structure SM = BinaryMapFn(struct
748 type ord_key = string 752 type ord_key = string
749 val compare = String.compare 753 val compare = String.compare
750 end) 754 end)
751 755