From 187ee4d06e8260e061102fc939774b9bc2f1d025 Mon Sep 17 00:00:00 2001
From: lotus <lotus@6c8d7289-2bf4-0310-a012-ef5d649a1542>
Date: Mon, 22 Jun 2009 11:24:01 +0000
Subject: [PATCH] another IE fix (also same names in html and js)

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@6116 6c8d7289-2bf4-0310-a012-ef5d649a1542
---
 htroot/js/IndexCreate.js | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/htroot/js/IndexCreate.js b/htroot/js/IndexCreate.js
index 7c2d1b97f..dcb88ab98 100644
--- a/htroot/js/IndexCreate.js
+++ b/htroot/js/IndexCreate.js
@@ -7,29 +7,29 @@ function handleResponse(){
         var response = http.responseXML;
 
 		// getting the document title
-        title="";		
+        doctitle="";		
         if(response.getElementsByTagName("title")[0].firstChild!=null){
-	        title=response.getElementsByTagName("title")[0].firstChild.nodeValue;
+	        doctitle=response.getElementsByTagName("title")[0].firstChild.nodeValue;
 	    }
-		// document.getElementById("title").innerHTML=title;
-		document.WatchCrawler.bookmarkTitle.value=title
+		// document.getElementById("title").innerHTML=doctitle;
+		document.WatchCrawler.bookmarkTitle.value=doctitle
 		
 		// deterime if crawling is allowed by the robots.txt
-        robotsOK="";		
+        docrobotsOK="";		
         if(response.getElementsByTagName("robots")[0].firstChild!=null){
-	        robotsOK=response.getElementsByTagName("robots")[0].firstChild.nodeValue;
+	        docrobotsOK=response.getElementsByTagName("robots")[0].firstChild.nodeValue;
 	    }
         robotsOKspan=document.getElementById("robotsOK");
         if(robotsOKspan.firstChild){
 	        robotsOKspan.removeChild(robotsOKspan.firstChild);
         }
-        if(robotsOK==1){
+        if(docrobotsOK==1){
         	img=document.createElement("img");
         	img.setAttribute("src", "/env/grafics/ok.png");
         	img.setAttribute("width", "32px");
         	img.setAttribute("height", "32px");
         	robotsOKspan.appendChild(img);
-        }else if(robotsOK==0){
+        }else if(docrobotsOK==0){
 			img=document.createElement("img");
         	img.setAttribute("src", "/env/grafics/bad.png");
         	img.setAttribute("width", "32px");