Petros AmoiridisandAntonio Scandurra 5d4eb2b7ae Push responder and requester to remove_contacts ...

When we ask the server to remove a contact we need to push the requester and responder ids to `remove_contacts` so that when the UI updates, the correct contacts will disappear from the list.

Co-Authored-By: Antonio Scandurra <me@as-cii.com>

2023-01-25 13:10:29 +02:00

..

bin

Remove unused UserId import from seed script

2022-12-06 09:07:25 +01:00

db

Add users to mailing list when using an invite link

2023-01-17 16:46:01 -05:00

rpc

Use a synchronous mutex for ConnectionPool

2022-12-13 13:50:51 +01:00

tests

Merge branch 'main' into optimize-large-multi-buffers

2023-01-19 16:18:21 +01:00

api.rs

Add users to mailing list when using an invite link

2023-01-17 16:46:01 -05:00

auth.rs

Start using the new sea-orm backed database

2022-12-01 14:41:59 +01:00

db.rs

Add users to mailing list when using an invite link

2023-01-17 16:46:01 -05:00

env.rs

Rename zed-server to collab

2022-04-09 08:30:42 -06:00

errors.rs

Remove more unused code related to GitHub auth and errors

2022-04-21 08:57:49 -06:00

executor.rs

WIP - Panic immediately when detecting non-determinism via a change to the execution trace

2022-12-23 17:34:13 -08:00

lib.rs

Move randomized integration test into its own file

2022-12-21 11:26:24 -08:00

main.rs

Minor stylistic change

2022-12-15 16:40:16 +01:00

rpc.rs

Push responder and requester to remove_contacts

2023-01-25 13:10:29 +02:00

tests.rs

Add confirm_quit setting

2023-01-20 13:02:38 -08:00