Fixing bug which caused that the term list was never updated.

diff --git a/www/test1/index.html b/www/test1/index.html
index a79bc68..6ea1e45 100644 (file)
--- a/www/test1/index.html
+++ b/www/test1/index.html
@@ -175,13 +175,15 @@ function show_termlist()
 {
     if (xtermlist.readyState != 4)
        return;
+
     var i;
     var xml = xtermlist.responseXML;
     var body = document.getElementById("termlist");
     var hits = xml.getElementsByTagName("term");
     if (!hits[0])
     {
-       termtimer = (check_termlist, 1000);
+       termtimer = setTimeout(check_termlist, 1000);
+        
     }
     else
     {