# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1322259574 18000
# Node ID efe1a2e9e4de33bdfbf08a4878b36136e508d102
# Parent  4973d31b5fff285a7a9365a0b299e455f43e4fde
Support 'safeGet' in demos

diff -r 4973d31b5fff -r efe1a2e9e4de src/demo.sml
--- 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 =>