Ticket #7523: ticket_query.diff

trac/ticket/query.py

@@ -859 +859 @@
         query_time = datetime.fromtimestamp(query_time, utc)
         query_constraints = unicode(query.constraints)
         if query_constraints != req.session.get('query_constraints') \
+                or query.page != req.session.get('query_page') \
                 or query_time < orig_time - timedelta(hours=1):
             tickets = query.execute(req, db)
             # New or outdated query, (re-)initialize session vars
             req.session['query_constraints'] = query_constraints
+            req.session['query_page'] = query.page
             req.session['query_tickets'] = ' '.join([str(t['id'])
                                                      for t in tickets])
         else: