From 6a218e89a107e70e1bbfcf8495a654417f0de332 Mon Sep 17 00:00:00 2001 From: "Anders S. Mortensen" Date: Fri, 5 Jan 2007 13:33:47 +0000 Subject: [PATCH] Updating facet lists more often. --- www/demo/search.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/www/demo/search.js b/www/demo/search.js index 1907d9e..dd06abd 100644 --- a/www/demo/search.js +++ b/www/demo/search.js @@ -1,4 +1,4 @@ -/* $Id: search.js,v 1.2 2007-01-05 13:31:10 sondberg Exp $ +/* $Id: search.js,v 1.3 2007-01-05 13:33:47 sondberg Exp $ * --------------------------------------------------- * Javascript container */ @@ -202,7 +202,7 @@ function show_records() } } if (!termtimer) - termtimer = setTimeout(check_termlist, 1000); + termtimer = setTimeout(check_termlist, 500); } function check_search() @@ -254,7 +254,7 @@ function show_termlist() if (!hits[0]) { - termtimer = setTimeout(check_termlist, 1000); + termtimer = setTimeout(check_termlist, 500); } else { @@ -270,7 +270,7 @@ function show_termlist() body.innerHTML += '
'; } if (clients > 0) - termtimer = setTimeout(check_termlist, 2000); + termtimer = setTimeout(check_termlist, 1000); } } -- 1.7.10.4