executor: tiny refactor the Executor interface (#10846)#10876

Merged

coocood merged 2 commits intopingcap:release-3.0from tiancaiamao:cherry-3.0-10846

Jun 20, 2019

+181-203

Commits on Jun 20, 2019

executor: tiny refactor the Executor interface (pingcap#10846 )
tiancaiamao
committed
executor,server: re-implement the kill statement by checking the Next() function (pingcap#10841 )
tiancaiamao
committed