Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/settings.sig Mon Jul 28 20:18:43 2014 -0400 +++ b/src/settings.sig Thu Jul 31 09:56:41 2014 -0400 @@ -278,4 +278,10 @@ val setLessSafeFfi : bool -> unit val getLessSafeFfi : unit -> bool + + val setFilePath : string -> unit + (* Sets the directory where we look for files being added below. *) + + val addFile : {Uri : string, LoadFromFilename : string} -> unit + val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list end