Closed amyangfei closed 2 years ago
Merging #375 (f6b67cd) into master (487aaab) will increase coverage by
0.0495%
. The diff coverage is0.0000%
.
@@ Coverage Diff @@
## master #375 +/- ##
================================================
+ Coverage 55.0827% 55.1323% +0.0495%
================================================
Files 135 135
Lines 10575 10580 +5
================================================
+ Hits 5825 5833 +8
- Misses 4301 4303 +2
+ Partials 449 444 -5
Fix the second bug in https://github.com/hanfei1991/microcosm/issues/357
When a server master leader restarts, it loads all workers in worker manager. After master is ready, the job manager should clean tombstone workers before re-creating them. Otherwise duplicated entries will be found in worker manger and panic happens.
This bug is also found in existing e2e test