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

Send pointer updates to everyone

Browse Source 
Realistically, if there is a pointer update, no other client is going
to have the same pointer.  If they do, the client can ignore the
update.

(imported from commit ca2db60ed7a7c5e4b50a9fa8d350985460922a50)
This commit is contained in:
Zev Benjamin
2012-11-27 16:57:00 -05:00
parent faf426baa7
commit 99cf78e1aa
1 changed files with 0 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
zephyr/views.py
View File

@@ -332,15 +332,7 @@ def format_delayed_updates_response(request=None, user_profile=None,
client_id=None, update_types=[], client_id=None, update_types=[],
**kwargs): **kwargs):
client_pointer = request.POST.get("pointer") client_pointer = request.POST.get("pointer")
client_wants_ptr_updates = False
if client_pointer is not None: if client_pointer is not None:
client_pointer = int(client_pointer)
client_wants_ptr_updates = True
pointer = None
if (client_wants_ptr_updates
and str(pointer_updater) != str(client_id)
and client_pointer != new_pointer):
pointer = new_pointer pointer = new_pointer
update_types.append("pointer_update") update_types.append("pointer_update")