display time taken for processing the /search query

1 files changed, 4 insertions, 1 deletions

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.  "