summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 17:19:34 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 17:19:34 -0500
commita40345f235da57bd4a2128c4e92c17c4e2033f48 (patch)
treea5017d82a2597b0a82a14b505f834e5fb55de621 /src
parent6125e568a8c5f32f29dfc761c3e34c4a627d9399 (diff)
Support 'safeGet' in demos
Diffstat (limited to 'src')
-rw-r--r--src/demo.sml6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/demo.sml b/src/demo.sml
index b9976a0c..729dd218 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -119,7 +119,7 @@ fun make' {prefix, dirname, guided} =
protocol = mergeWith #2 (#protocol combined, #protocol urp),
dbms = mergeWith #2 (#dbms combined, #dbms urp),
sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
- safeGets = [],
+ safeGets = #safeGets combined @ #safeGets urp,
onError = NONE,
minHeap = 0
}
@@ -426,6 +426,10 @@ fun make' {prefix, dirname, guided} =
TextIO.output (outf, "\n"))) (#rewrites combined);
filters "url" (#filterUrl combined);
filters "mime" (#filterMime combined);
+ app (fn path =>
+ (TextIO.output (outf, "safeGet ");
+ TextIO.output (outf, path);
+ TextIO.output (outf, "\n"))) (#safeGets combined);
TextIO.output (outf, "\n");
app (fn s =>