rust/hedgewars-server/src/server/handlers.rs
changeset 14687 5122c584804e
parent 14673 08a8605bafaf
child 14690 f61ce544d436
--- a/rust/hedgewars-server/src/server/handlers.rs	Wed Feb 06 00:14:04 2019 +0300
+++ b/rust/hedgewars-server/src/server/handlers.rs	Wed Feb 06 00:57:01 2019 +0300
@@ -63,6 +63,14 @@
     }
 }
 
+impl Extend<PendingMessage> for Response {
+    fn extend<T: IntoIterator<Item = PendingMessage>>(&mut self, iter: T) {
+        for msg in iter {
+            self.add(msg)
+        }
+    }
+}
+
 fn get_recipients(
     server: &HWServer,
     client_id: ClientId,