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