Max Brunsfeld 438dd42f7d Fix bugs in handling mutual following ... * Propagate all of leader's views to a new follower, even if those views were originally created by that follower. * Propagate active view changes to followers, even if the active view is following that follower. * Avoid redundant active view updates on the client.		2023-10-05 13:28:46 -07:00
..
bin	Restore seeding of random GH users in seed-db	2023-08-02 15:45:22 -07:00
db	Ensure chat messages are retrieved in order of id	2023-10-04 14:43:53 -07:00
rpc	Use a synchronous mutex for ConnectionPool	2022-12-13 13:50:51 +01:00
tests	Fix bugs in handling mutual following	2023-10-05 13:28:46 -07:00
api.rs	Remove dead code for old admin pages	2023-09-13 15:02:59 -07:00
auth.rs	Add logging and metric for time spent hashing auth tokens	2023-03-17 14:32:13 -07:00
db.rs	Acknowledge channel notes and chat changes when views are active	2023-10-03 17:40:10 -07: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	Introduce a delay before retrying a transaction after a serialization failure	2023-03-16 13:07:38 -07:00
main.rs	Introduce a delay before retrying a transaction after a serialization failure	2023-03-16 13:07:38 -07:00
rpc.rs	Fix bugs in handling mutual following	2023-10-05 13:28:46 -07:00
tests.rs	Make following more good	2023-09-29 17:59:19 -06:00