*) make sure that only positive values are accepted as refresh interval on Crawler Monitor page

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@7489 6c8d7289-2bf4-0310-a012-ef5d649a1542

htroot/js/Crawler.js

@@ -29,7 +29,11 @@ function changeInterval(){
 	}
 }
 function newInterval(){
-	refreshInterval=document.getElementById("nextUpdate").value;
+	var newInterval=document.getElementById("nextUpdate").value;
+        // make sure that only positive intervals can be set
+        if(newInterval>0){
+                refreshInterval=newInterval;
+        }
 	refresh();
 	countInterval=window.setInterval("countdown()", 1000);
 	changing=false;