mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-27 10:59:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Fix tests

Browse source
This commit is contained in:
Antonio Scandurra 2022-06-15 11:16:26 +02:00
parent a85f9e74b1
commit 197a4342d0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/collab/src/rpc.rs
View file

@ -1082,7 +1082,7 @@ impl Server {
let follower_id = request.sender_id;
{
let mut store = self.store_mut().await;
if store
if !store
.project_connection_ids(request.payload.project_id, follower_id)?
.contains(&leader_id)
{