Mercurial > urweb
comparison src/settings.sig @ 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 |
comparison
equal
deleted
inserted
replaced
2300:57f6473b1469 | 2301:8d772fbf59c1 |
---|---|
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 | |
286 | 284 |
287 val setFilePath : string -> unit | 285 val setFilePath : string -> unit |
288 (* Sets the directory where we look for files being added below. *) | 286 (* Sets the directory where we look for files being added below. *) |
289 | 287 |
290 val addFile : {Uri : string, LoadFromFilename : string} -> unit | 288 val addFile : {Uri : string, LoadFromFilename : string} -> unit |