mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-27 10:59:53 +00:00
Send RemoveProjectCollaborator to host in addition to ProjectUnshared
This commit is contained in:
parent
1996b01a74
commit
f2eee6692b
1 changed files with 9 additions and 10 deletions
|
@ -351,6 +351,15 @@ impl Server {
|
|||
|
||||
for project_id in removed_connection.guest_project_ids {
|
||||
if let Some(project) = store.project(project_id).trace_err() {
|
||||
broadcast(connection_id, project.connection_ids(), |conn_id| {
|
||||
self.peer.send(
|
||||
conn_id,
|
||||
proto::RemoveProjectCollaborator {
|
||||
project_id,
|
||||
peer_id: connection_id.0,
|
||||
},
|
||||
)
|
||||
});
|
||||
if project.guests.is_empty() {
|
||||
self.peer
|
||||
.send(
|
||||
|
@ -358,16 +367,6 @@ impl Server {
|
|||
proto::ProjectUnshared { project_id },
|
||||
)
|
||||
.trace_err();
|
||||
} else {
|
||||
broadcast(connection_id, project.connection_ids(), |conn_id| {
|
||||
self.peer.send(
|
||||
conn_id,
|
||||
proto::RemoveProjectCollaborator {
|
||||
project_id,
|
||||
peer_id: connection_id.0,
|
||||
},
|
||||
)
|
||||
});
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue