Matitaweb viewlib, part II.

[helm.git] / matitaB / matita / matitadaemon.ml
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml

index b9aed4be8666891b006324c680760485b47feb91..72211bf5fcf29d5e5a12432a3b4520545dee5b36 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -411,13 +411,17 @@ let viewLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
      let sid = HExtlib.unopt sid in
      cgi # set_header 
        ~cache:`No_cache 
-      ~content_type:"text/xml; charset=\"utf-8\""
+      ~content_type:"text/html; charset=\"utf-8\""
        ();
      let uid = MatitaAuthentication.user_of_session sid in
      
      let html = MatitaFilesystem.html_of_library uid in
      cgi#out_channel#output_string
-      ("<html><head></head><body>" ^ html ^ "</body></html>");
+      ("<html><head>\n" ^
+       "<title>XML Tree Control</title>\n" ^
+       "<link href=\"treeview/xmlTree.css\" type=\"text/css\" rel=\"stylesheet\">\n" ^
+       "<script src=\"treeview/xmlTree.js\" type=\"text/javascript\"></script>\n" ^
+       "<body>\n" ^ html ^ "\n</body></html>");
    cgi#out_channel#commit_work()
    
  ;;