# HG changeset patch
# User fabien
# Date 1064428113 14400
# Node ID da757ef67c69f3ddf937febde96c6cbc90241d31
# Parent  d3748aa4061279b801800925453a5f9a81f0423a
[svn r1540] Correction for zero-lenght results in bookmark search.

diff -r d3748aa40612 -r da757ef67c69 index.py
--- a/index.py	Wed Sep 24 13:57:18 2003 -0400
+++ b/index.py	Wed Sep 24 14:28:33 2003 -0400
@@ -56,7 +56,8 @@
     else:
     	bookmarks = db.select_bookmarks(selection)
     keywords = set_selection(keywords, selection)
-    bookmarks = db.get_bookmarks(map(lambda x: x[0], bookmarks))
+    if len(bookmarks) > 0:
+    	bookmarks = db.get_bookmarks(map(lambda x: x[0], bookmarks))
     bookmarks = map(lambda bk: bk.dict(), bookmarks)
     curl = get_curl();
     main(bookmarks, keywords, curl)