playground: fix bug which can't specify db port#1511

Merged

ti-chi-bot merged 3 commits intopingcap:masterfrom hecomlilong:hotfix-playground-custom-db-port

Aug 16, 2021

+26-8

Commits on Aug 8, 2021

playground: fix bug which can't specify db port
hecomlilong
committed

Commits on Aug 11, 2021

playground: add db.Port boot option
hecomlilong
committed

Commits on Aug 13, 2021

Merge branch 'master' into hotfix-playground-custom-db-port
AstroProfundis
authored