diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-01-08 14:26:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-01-08 14:26:00 -0500 |
| commit | 458c671a9d5fb352aafebe4b9e1b00670e8e706f (patch) | |
| tree | d47361a197027aba9b4c03a1e865de601545328c | |
| parent | 1c9b94a22036cec4e3d0430ca2991eefc8198350 (diff) | |
Proper handling of absolute paths for files to serve
| -rw-r--r-- | src/settings.sml | 1 |
1 files changed, 1 insertions, 0 deletions
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', _) => |