config: Stop server startup if an unrecognized option is found in a config file (#9855)#10096

Merged

ngaut merged 2 commits intopingcap:release-2.1from xiekeyi98:release-2.1

Apr 10, 2019

+73-8

Commits on Apr 10, 2019

config: Stop server startup if an unrecognized option is found in a config file (#9855 )

kolbe
authored and
xiekeyi98
committed
fix ci
xiekeyi98
committed