handlers.py
changeset 65 8b50694f841e
parent 63 416560b82116
child 66 090ed78ec8fa
--- a/handlers.py	Mon Feb 09 11:05:53 2009 +0200
+++ b/handlers.py	Mon Feb 09 11:46:17 2009 +0200
@@ -17,6 +17,11 @@
     channel_list    = channels.channel_list,
 )
 
+# our LogSearch thing
+# XXX: move elsewhere
+import log_search
+search_index = log_search.LogSearchIndex("logs/index", 'r')
+
 def index (request) :
     """
         The topmost index page, display a list of available channels, perhaps some general stats
@@ -158,10 +163,10 @@
     # got a search query?
     if q :
         # do search
-        lines = channel.source.get_search(q)
+        lines = search_index.search_simple(channel, q)
 
         # format
-        lines = formatter.format_html(lines)
+        lines = formatter.format_html(lines, full_timestamps=True)
 
     else :
         lines = None
@@ -171,7 +176,7 @@
         req             = request,
         prefs           = request.prefs,
         channel         = channel,
-        query           = q,
+        search_query    = q,
         lines           = lines,
     )