From 458c671a9d5fb352aafebe4b9e1b00670e8e706f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 8 Jan 2018 14:26:00 -0500 Subject: Proper handling of absolute paths for files to serve --- src/settings.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/settings.sml b/src/settings.sml index d3ac99d4..9e6d3e76 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -914,6 +914,7 @@ fun setFilePath path = filePath := path fun addFile {Uri, LoadFromFilename, MimeType} = let val path = OS.Path.concat (!filePath, LoadFromFilename) + handle Path => LoadFromFilename in case SM.find (!files, Uri) of SOME (path', _) => -- cgit v1.2.3