do_delete_messages: Remove unused message_ids list.

This commit is contained in:
Mateusz Mandera
2020-02-19 17:55:12 +01:00
committed by Tim Abbott
parent 6ed944c761
commit b4186fb680

View File

@@ -4656,9 +4656,7 @@ def do_update_message(user_profile: UserProfile, message: Message, topic_name: O
def do_delete_messages(realm: Realm, messages: Iterable[Message]) -> None:
message_ids = []
for message in messages:
message_ids.append(message.id)
message_type = "stream"
if not message.is_stream_message():
message_type = "private"