diff options
-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', _) => |