Mercurial > urweb
comparison src/settings.sig @ 2046:ced78ef1c82f
New .urp directive: file
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 31 Jul 2014 09:56:41 -0400 |
parents | 403f0cc65b9c |
children | fb113569519e 365727ff68f4 |
comparison
equal
deleted
inserted
replaced
2045:534577e429e1 | 2046:ced78ef1c82f |
---|---|
276 val setIsHtml5 : bool -> unit | 276 val setIsHtml5 : bool -> unit |
277 val getIsHtml5 : unit -> bool | 277 val getIsHtml5 : unit -> bool |
278 | 278 |
279 val setLessSafeFfi : bool -> unit | 279 val setLessSafeFfi : bool -> unit |
280 val getLessSafeFfi : unit -> bool | 280 val getLessSafeFfi : unit -> bool |
281 | |
282 val setFilePath : string -> unit | |
283 (* Sets the directory where we look for files being added below. *) | |
284 | |
285 val addFile : {Uri : string, LoadFromFilename : string} -> unit | |
286 val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list | |
281 end | 287 end |