Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
2298:6e580e319077 | 2299:47d5c94aeeb8 |
---|---|
279 val setLessSafeFfi : bool -> unit | 279 val setLessSafeFfi : bool -> unit |
280 val getLessSafeFfi : unit -> bool | 280 val getLessSafeFfi : unit -> bool |
281 | 281 |
282 val setSqlcache : bool -> unit | 282 val setSqlcache : bool -> unit |
283 val getSqlcache : unit -> bool | 283 val getSqlcache : unit -> bool |
284 val setSqlcacheHeuristic : string -> unit | |
285 val getSqlcacheHeuristic : unit -> string | |
284 | 286 |
285 val setFilePath : string -> unit | 287 val setFilePath : string -> unit |
286 (* Sets the directory where we look for files being added below. *) | 288 (* Sets the directory where we look for files being added below. *) |
287 | 289 |
288 val addFile : {Uri : string, LoadFromFilename : string} -> unit | 290 val addFile : {Uri : string, LoadFromFilename : string} -> unit |