From: Anders S. Mortensen <sondberg@indexdata.dk>
Date: Wed, 10 Jan 2007 13:39:41 +0000 (+0000)
Subject: Reset record update timer when clicking on new page.
X-Git-Tag: rather.stable.2007.01.11~8
X-Git-Url: http://lists.indexdata.dk/cgi-bin?a=commitdiff_plain;h=fe587a5b3037e08401edc51aa63f503dd607aa84;hp=ad84bf01f1f42d5636eb79ad225d64102c1fcf13;p=pazpar2-moved-to-github.git

Reset record update timer when clicking on new page.
---

diff --git a/www/demo/search.js b/www/demo/search.js
index 01a1f38..331a349 100644
--- a/www/demo/search.js
+++ b/www/demo/search.js
@@ -1,4 +1,4 @@
-/* $Id: search.js,v 1.16 2007-01-10 13:28:09 sondberg Exp $
+/* $Id: search.js,v 1.17 2007-01-10 13:39:41 sondberg Exp $
  * ---------------------------------------------------
  * Javascript container
  */
@@ -181,6 +181,7 @@ function make_pager (hits, offset, max) {
 
 
 function update_offset (offset) {
+    clearTimeout(searchtimer);
     document.search.startrec.value = offset;
     update_action('page');
     check_search();