changeset 1614:efe1a2e9e4de

Support 'safeGet' in demos
author Adam Chlipala <adam@chlipala.net>
date Fri, 25 Nov 2011 17:19:34 -0500
parents 4973d31b5fff
children 7d459f223ac2
files src/demo.sml
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/demo.sml	Fri Nov 25 16:30:34 2011 -0500
+++ b/src/demo.sml	Fri Nov 25 17:19:34 2011 -0500
@@ -119,7 +119,7 @@
             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 @@
                          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 =>