X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.js;h=fb6c0869da5b9c6afac25648187987195215b07c;hb=ca2fcd32c41d72893bbb45bda4640c3589699113;hp=04787ce77d3961a0919ecf9faf0e7ba24ed64ce0;hpb=dee464f8cd331524663167659d1fad01e558d4e1;p=helm.git

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index 04787ce77..fb6c0869d 100644
--- 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");
 		}