@@ -84,7 +84,12 @@ def index():
8484 if request.form.get('format') == 'json':
8585 # TODO HTTP headers
8686 return json.dumps({'query': query, 'results': results})
87− template = render('results.html', results=results, q=query.decode('utf-8'), selected_categories=selected_categories)
87+ template = render('results.html'
88+ ,results=results
89+ ,q=query.decode('utf-8')
90+ ,selected_categories=selected_categories
91+ ,number_of_results=len(results)
92+ )
8893 resp = make_response(template)
8994 if remember_categs:
9095 resp.set_cookie('categories', ','.join(selected_categories))