mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-11 21:13:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

💄

Browse source
This commit is contained in:
Antonio Scandurra 2022-12-13 11:37:39 +01:00
parent 7e8d9d52d3
commit e2b132ef23
1 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -277,12 +277,9 @@ impl Server {
}
for user_id in contacts_to_update {
if let Some((busy, contacts)) = db
.is_user_busy(user_id)
.await
.trace_err()
.zip(db.get_contacts(user_id).await.trace_err())
{
let busy = db.is_user_busy(user_id).await.trace_err();
let contacts = db.get_contacts(user_id).await.trace_err();
if let Some((busy, contacts)) = busy.zip(contacts) {
let pool = pool.lock().await;
let updated_contact = contact_for_user(user_id, false, busy, &pool);
for contact in contacts {