From 8e944e62818045b820f45776a396bc1b66ab3056 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Sep 2009 13:07:57 -0400
Subject: Fix JavaScript char literals; don't generate demo links to
 nonexistent files

---
 src/demo.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/demo.sml')

diff --git a/src/demo.sml b/src/demo.sml
index ebdf4e40..4e2caa99 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -197,7 +197,8 @@ fun make {prefix, dirname, guided} =
                                                                         ext = SOME s}
                                          val src' = OS.Path.file src
                                      in
-                                         if OS.FileSys.access (src, []) then
+                                         if String.isPrefix (OS.Path.mkCanonical dirname) src
+                                            andalso OS.FileSys.access (src, []) then
                                              (TextIO.output (out, " | <a target=\"showcase\" href=\"");
                                               TextIO.output (out, src');
                                               TextIO.output (out, ".html\"><tt>");
-- 
cgit v1.2.3