paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-03 05:23:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix pruning of event queues that only had virtual events.

Browse Source 
(imported from commit 7b43d2164df6e95a6feb073b8f90c0862245d629)
This commit is contained in:
Tim Abbott
2013-12-11 17:09:59 -05:00
parent b10278c8e0
commit fcf6ec16aa
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
zerver/lib/event_queue.py
View File

@@ -194,14 +194,18 @@ class EventQueue(object):
else:
self.queue.append(event)
# Note that pop ignores virtual events. This is fine in our
# current usage since virtual events should always be resolved to
# a real event before being given to users.
def pop(self):
return self.queue.popleft()
def empty(self):
return len(self.queue) == 0 and len(self.virtual_events) == 0
# See the comment on pop; that applies here as well
def prune(self, through_id):
while not self.empty() and self.queue[0]['id'] <= through_id:
while len(self.queue) != 0 and self.queue[0]['id'] <= through_id:
self.pop()
def contents(self):