コード例 #1
0
    def add_event(self, event: Dict[str, Any]) -> None:
        if self.current_handler_id is not None:
            handler = get_handler_by_id(self.current_handler_id)
            async_request_timer_restart(handler._request)

        self.event_queue.push(event)
        self.finish_current_handler()
コード例 #2
0
ファイル: event_queue.py プロジェクト: gnprice/zulip
    def add_event(self, event: Dict[str, Any]) -> None:
        if self.current_handler_id is not None:
            handler = get_handler_by_id(self.current_handler_id)
            async_request_restart(handler._request)

        self.event_queue.push(event)
        self.finish_current_handler()
コード例 #3
0
ファイル: event_queue.py プロジェクト: dmryabov/zulip
    def add_event(self, event: Dict[str, Any]) -> None:
        # Any dictionary passed into this function must be a unique
        # dictionary (potentially a shallow copy of a shared data
        # structure), since the event_queue data structures will
        # mutate it to add the queue-specific unique `id` of that
        # event to the outer event dictionary.
        if self.current_handler_id is not None:
            handler = get_handler_by_id(self.current_handler_id)
            async_request_timer_restart(handler._request)

        self.event_queue.push(event)
        self.finish_current_handler()