tree bd7aa27d7e1ffa8aaca20941dd31018e6fac1487
parent 2db6d444196986b6db838cd980735bd9ad9040f3
author Mike Miller <mmiller@apache.org> 1611667861 -0500
committer GitHub <noreply@github.com> 1611667861 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgEBmVCRBK7hj4Ov3rIwAAdHIIACa340DoMOeI89gxGZqehuIr
 vjJqMIrAmOt4VC0QK16bqvu2pQGd0TeGqjzlcZzxfn4dzkWCqf2bqG9JkXYzcMD5
 4lYzTeNV/DEKUhi5EZaAIEaOmSqCRttAKKYxfOkn1cumsQmVt7fqNjETxS1Twf27
 sPnHyozIsBJSoGDLVD5W1ffqapfRbjK+oSgBcnC3lfBSnbEIEpcX4v4Hop7h37j1
 1PY+azmylA9GAclpYel+DaXmu2U79q9h9xq5h9llIZeU0lEbf0tDaGnjRtrn2bf7
 MsIbwpXOGCO647+DxAa0GG2heEaaHzwitVcWkgo9yrsQYOEAzczAb18ZVXiUQzE=
 =Fbk4
 -----END PGP SIGNATURE-----
 

Add tserver to badservers instead of dropping. Fixes #1775 (#1878)

* When the Master killed a tserver due to holdTime, it would just
disappear on the Monitor because it was being dropped from the active
tserver list. Instead of dropping it, this will add it to the list of
badservers, giving the Monitor a chance to see it dead.