# HG changeset patch
# User Julian Squires <julian@cipht.net>
# Date 1429906915 14400
# Node ID 8c81cd351c1a21c050c5fe12a8d1121eb62fc891
# Parent  3ca67d73fa5d9f16e999ed776f4695bb0463b4ad
Allow URIs specified in file directives implicitly

It seems to me that, by specifying that one wants to serve a given
file at a specified URI, one is implying that this URI should be
allowed.

diff -r 3ca67d73fa5d -r 8c81cd351c1a src/compiler.sml
--- a/src/compiler.sml	Mon May 04 13:22:29 2015 -0400
+++ b/src/compiler.sml	Fri Apr 24 16:21:55 2015 -0400
@@ -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 ^ "'");