Matitaweb: fixed a bug concerning matita/html/xml escaping, which showed when

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 04787ce77d3961a0919ecf9faf0e7ba24ed64ce0..fb6c0869da5b9c6afac25648187987195215b07c 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -607,8 +607,9 @@ function retrieveFile(thefile)
        {
                if (is_defined(xml)) {  
                        locked.innerHTML = "";
-                       debug(xml.documentElement.textContent);
-                       unlocked.innerHTML = xml.documentElement.textContent;
+                       debug(xml.getElementsByTagName("file")[0].childNodes[0].nodeValue);
+                       unlocked.innerHTML = xml.getElementsByTagName("file")[0].childNodes[0].nodeValue;
+
                } else {
                        debug("file open failed");
                }