@@ -338,7 +338,7 @@ async def add_push_rule(
338338 ) -> None :
339339 conditions_json = json_encoder .encode (conditions )
340340 actions_json = json_encoder .encode (actions )
341- with await self ._push_rules_stream_id_gen .get_next () as stream_id :
341+ async with self ._push_rules_stream_id_gen .get_next () as stream_id :
342342 event_stream_ordering = self ._stream_id_gen .get_current_token ()
343343
344344 if before or after :
@@ -585,7 +585,7 @@ def delete_push_rule_txn(txn, stream_id, event_stream_ordering):
585585 txn , stream_id , event_stream_ordering , user_id , rule_id , op = "DELETE"
586586 )
587587
588- with await self ._push_rules_stream_id_gen .get_next () as stream_id :
588+ async with self ._push_rules_stream_id_gen .get_next () as stream_id :
589589 event_stream_ordering = self ._stream_id_gen .get_current_token ()
590590
591591 await self .db_pool .runInteraction (
@@ -616,7 +616,7 @@ async def set_push_rule_enabled(
616616 Raises:
617617 NotFoundError if the rule does not exist.
618618 """
619- with await self ._push_rules_stream_id_gen .get_next () as stream_id :
619+ async with self ._push_rules_stream_id_gen .get_next () as stream_id :
620620 event_stream_ordering = self ._stream_id_gen .get_current_token ()
621621 await self .db_pool .runInteraction (
622622 "_set_push_rule_enabled_txn" ,
@@ -754,7 +754,7 @@ def set_push_rule_actions_txn(txn, stream_id, event_stream_ordering):
754754 data = {"actions" : actions_json },
755755 )
756756
757- with await self ._push_rules_stream_id_gen .get_next () as stream_id :
757+ async with self ._push_rules_stream_id_gen .get_next () as stream_id :
758758 event_stream_ordering = self ._stream_id_gen .get_current_token ()
759759
760760 await self .db_pool .runInteraction (
0 commit comments