From 050560217cd97bec98ac155a251bdc2ad9c708bb Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sat, 21 Feb 2009 19:08:22 +0100
Subject: [PATCH] Fix a problem in the HTML search if the index takes too long
 to load.

---
 CHANGES                      | 3 +++
 sphinx/static/searchtools.js | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index d7be88baa..17433eb84 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,9 @@
 Release 0.5.2 (in development)
 ==============================
 
+* Fix a problem in the HTML search if the index takes too long
+  to load.
+
 * Don't output system messages while resolving, because they
   would stay in the doctrees even if keep_warnings is false.
 
diff --git a/sphinx/static/searchtools.js b/sphinx/static/searchtools.js
index f9d9b6c39..c4ac17d89 100644
--- a/sphinx/static/searchtools.js
+++ b/sphinx/static/searchtools.js
@@ -283,7 +283,7 @@ var Search = {
     if (this.hasIndex())
       this.query(query);
     else
-      this.setQuery(query);
+      this.deferQuery(query);
   },
 
   query : function(query) {