diff options
| author | Satoshi Fujimoto <satoshi.fujimoto7@gmail.com> | 2017-06-01 15:12:35 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2017-06-05 11:40:32 +0900 |
| commit | 8fd9530ff9602912c57c18faf86e4144533c1f05 (patch) | |
| tree | fe4b5d6e22c6ed41bb65ec88ac4b4a14400c01cd /docs/sources/configuration.md | |
| parent | 76e2fbd5f03901dedf3cdbe4cf747d690cef2ab2 (diff) | |
config: Initialize Graceful Restart State
Currently, the restarting speaker ends restarting procedure
before receiving End-of-Rib markers from all helper speakers.
It is because `MpGracefulRestart.State.Enabled` is not initialized,
always evalueted to false, so the restarting speaker misunderstands
as there is not helper speaker.
This patch adds code to initialize `MpGracefulRestart.State.Enabled`.
This fixes #1296.
Signed-off-by: Satoshi Fujimoto <satoshi.fujimoto7@gmail.com>
Diffstat (limited to 'docs/sources/configuration.md')
0 files changed, 0 insertions, 0 deletions