From e69a04675e142d8618433a785ad33e8167ef99d2 Mon Sep 17 00:00:00 2001
From: yvesf <yvesf@pinky.(none)>
Date: Tue, 30 Nov 2010 20:05:24 +0100
Subject: display time taken for processing the /search query

---
 templates/search.html | 2 +-
 web.py                | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/templates/search.html b/templates/search.html
index adbd92d..5e74c8e 100644
--- a/templates/search.html
+++ b/templates/search.html
@@ -39,8 +39,8 @@
     </script>
 {% endblock %}
 {% block content %}
+    Matched {{ books.__len__() }} Book{% if books.__len__() > 1 %}s{% endif %} in {{ "%0.0f"|format(time*1000) }}ms. 
     {% if books %}
-        Matched {{ books.__len__() }} Book{% if books.__len__() > 1 %}s{% endif %}
         {% for docnum, book in books.items() %}
             <h2 asd="foo">
                 {{ book['filename'] }}
diff --git a/web.py b/web.py
index 7f8c0e5..03a7eda 100644
--- a/web.py
+++ b/web.py
@@ -2,6 +2,7 @@
 # coding: utf-8
 from __future__ import with_statement
 import os
+import time
 try:
     import json
 except ImportError:
@@ -123,6 +124,7 @@ def do_search(term=None):
     if not term:
         return flask.render_template("search.html", objects=[], term="")
 
+    time_start = time.time()
     term = term.lower()
     searcher = index_book.searcher()
     query = QueryParser("content").parse(term)
@@ -151,7 +153,8 @@ def do_search(term=None):
 
     return flask.render_template("search.html",
                             books=books, 
-                            term=term)
+                            term=term,
+                            time=time.time()-time_start)
 
 def log_response(sender, response):
     sender.logger.debug("Request context is about to close down.  "
-- 
cgit v1.2.1