Mercurial > urweb

diff src/compiler.sml @ 2241:2b1af5dc6dee

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:05:16 -0700
parents e10881cd92da 8c81cd351c1a
children f8903af753ff
line wrap: on
line diff
--- a/src/compiler.sml	Sun Jul 19 19:03:11 2015 -0700
+++ b/src/compiler.sml	Sun Jul 19 19:05:16 2015 -0700
@@ -875,7 +875,8 @@
                                      (case String.fields Char.isSpace arg of
                                           [uri, fname] => (Settings.setFilePath thisPath;
                                                            Settings.addFile {Uri = uri,
-                                                                             LoadFromFilename = fname})
+                                                                             LoadFromFilename = fname};
+                                                           url := {action = Settings.Allow, kind = Settings.Exact, pattern = uri} :: !url)
                                         | _ => ErrorMsg.error "Bad 'file' arguments")
 
                                    | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");