Mercurial > urweb
comparison src/settings.sml @ 2304:6fb9232ade99
Merge Sqlcache
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 20 Dec 2015 14:18:52 -0500 |
parents | 6eae499c56cb 8d772fbf59c1 |
children |
comparison
equal
deleted
inserted
replaced
2201:1091227f535a | 2304:6fb9232ade99 |
---|---|
149 "urlifyBool_w", | 149 "urlifyBool_w", |
150 "urlifyChannel_w"] | 150 "urlifyChannel_w"] |
151 | 151 |
152 val effectful = ref effectfulBase | 152 val effectful = ref effectfulBase |
153 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) | 153 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) |
154 fun isEffectful x = S.member (!effectful, x) | 154 fun isEffectful ("Sqlcache", _) = true |
155 | isEffectful x = S.member (!effectful, x) | |
155 fun addEffectful x = effectful := S.add (!effectful, x) | 156 fun addEffectful x = effectful := S.add (!effectful, x) |
156 | 157 |
157 val benignBase = basis ["get_cookie", | 158 val benignBase = basis ["get_cookie", |
158 "new_client_source", | 159 "new_client_source", |
159 "get_client_source", | 160 "get_client_source", |
799 | 800 |
800 val less = ref false | 801 val less = ref false |
801 fun setLessSafeFfi b = less := b | 802 fun setLessSafeFfi b = less := b |
802 fun getLessSafeFfi () = !less | 803 fun getLessSafeFfi () = !less |
803 | 804 |
805 val sqlcache = ref false | |
806 fun setSqlcache b = sqlcache := b | |
807 fun getSqlcache () = !sqlcache | |
808 | |
804 structure SM = BinaryMapFn(struct | 809 structure SM = BinaryMapFn(struct |
805 type ord_key = string | 810 type ord_key = string |
806 val compare = String.compare | 811 val compare = String.compare |
807 end) | 812 end) |
808 | 813 |