FLASH-562: Fix race condition of batch command handling#277

Merged

windtalker merged 2 commits intocopfrom cop-fix-batch-cmd

Oct 12, 2019

+53-47

Commits on Oct 11, 2019

Fix race condition of batch command handling
zanmato1984
committed
Merge branch 'cop' of github.com:pingcap/tics into cop-fix-batch-cmd
zanmato1984
committed