diff options
| author | Daniel RodrÃguez Rivero <rdanielo@gmail.com> | 2021-04-25 02:22:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-25 10:22:47 +1000 |
| commit | 26b9b3aa2308a24e069f5ae2ab86e3df24492eed (patch) | |
| tree | bc6f7d8cf81357a252cd6ec4fcc3966014bea5ab /users/pvinis | |
| parent | 8f5cc8d762db8a9a4ce3f41e4b66a8602f2da6f0 (diff) | |
feat: infinite timeout for leader key (#6580)
* feat: implement leader_no_timeout logic
* docs(leader_key): infinite leader timeout docs
Diffstat (limited to 'users/pvinis')
0 files changed, 0 insertions, 0 deletions