From eca54f46680e3da32c28be81f127be97049b6edb Mon Sep 17 00:00:00 2001 From: "Anders S. Mortensen" Date: Mon, 18 Dec 2006 13:16:30 +0000 Subject: [PATCH] Fixing bug which caused that the term list was never updated. --- www/test1/index.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/www/test1/index.html b/www/test1/index.html index a79bc68..6ea1e45 100644 --- 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 { -- 1.7.10.4