summaryrefslogtreecommitdiff
path: root/src/demo.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:37:52 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:37:52 -0400
commit231c4bfd8d410f01f98801dff7a159068c552c64 (patch)
treeadeed19de731e8e7988336ace88397b1e309e468 /src/demo.sml
parent95aad188ede9c075c2bfc6d8a7f9f5b7348db0ad (diff)
allow/deny working in Mono_opt
Diffstat (limited to 'src/demo.sml')
-rw-r--r--src/demo.sml4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/demo.sml b/src/demo.sml
index c08ce0fe..dc4715d7 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -104,7 +104,9 @@ fun make {prefix, dirname, guided} =
clientOnly = [],
serverOnly = [],
jsFuncs = [],
- rewrites = []
+ rewrites = [],
+ filterUrl = #filterUrl combined @ #filterUrl urp,
+ filterMime = #filterMime combined @ #filterMime urp
}
val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")