JuliaandMax Brunsfeld 0324ca3b08 Be more specific about clearing (leader, follower) row ...

Previously anyone unfollowing someone would clear all other rows for
other followers leading to an incorrect state, fix and test

Co-Authored-By: Max Brunsfeld <max@zed.dev>

2023-02-22 15:29:20 -05:00

..

bin

Remove unused UserId import from seed script

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

db

Begin tracking follow states on collab server

2023-02-22 11:21:23 -05:00

rpc

Use a synchronous mutex for ConnectionPool

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

tests

Be more specific about clearing (leader, follower) row

2023-02-22 15:29:20 -05: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

Be more specific about clearing (leader, follower) row

2023-02-22 15:29:20 -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

Retrieve room id from the project when following/unfollowing

2023-02-22 11:34:55 -05:00

tests.rs

Removed old experiments settings and staff mode flag, added new StaffMode global that is set based on the webserver's staff bit

2023-01-27 15:43:12 -08:00