# HG changeset patch # User alfadur # Date 1555104468 -10800 # Node ID da0cfeee9d968539cfd7fa81a4b088cca1664297 # Parent 2107fd023733aaa2817a4de4acb179170c184e06 don't show incompatible rooms diff -r 2107fd023733 -r da0cfeee9d96 rust/hedgewars-server/src/server/handlers/common.rs --- a/rust/hedgewars-server/src/server/handlers/common.rs Sat Apr 13 00:16:23 2019 +0300 +++ b/rust/hedgewars-server/src/server/handlers/common.rs Sat Apr 13 00:27:48 2019 +0300 @@ -76,6 +76,7 @@ server .rooms .iter() + .filter(|(_, r)| r.protocol_number == client.protocol_number) .flat_map(|(_, r)| r.info(r.master_id.map(|id| &server.clients[id]))) .collect(), );