From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 09:37:31 +0000 (+0000)
Subject: Bugfix in matitaweb viewlib.
X-Git-Tag: make_still_working~2416
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2009de9267f83e2914d91f6321b86a84a95d4adc;p=helm.git

Bugfix in matitaweb viewlib.
---

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index a92c87a80..32609b883 100644
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -64,7 +64,7 @@ let html_of_library uid =
 
   let branch text acc =
     let id = newid () in
-    "<span class=\"trigger\" onClick=\"showBranch(" ^ id ^ ")\">\n" ^
+    "<span class=\"trigger\" onClick=\"showBranch('" ^ id ^ "')\">\n" ^
     "<img src=\"treeview/closed.gif\" id=\"I" ^ id ^ "\"/>\n" ^
     text ^ "<br/></span>\n" ^
     "<span class=\"branch\" id=\"" ^ id ^ "\">\n" ^
@@ -76,7 +76,8 @@ let html_of_library uid =
   in
 
   let rec aux path =
-    let dirlist = Array.to_list (Sys.readdir path) in
+    let dirlist = 
+      List.filter (fun x -> String.sub x 0 1 = ".") (Array.to_list (Sys.readdir path)) in
     let subdirs = List.filter (fun x -> Sys.is_directory (path ^ "/" ^ x)) dirlist in
     let scripts = 
       List.filter (fun x ->