Use devServer.public to build sockjsUrl, if defined.#1526

Merged

yyx990803 merged 2 commits intovuejs:devfrom

trashpanda001:dev

Jun 11, 2018

Commits on Jun 8, 2018

Use devServer.public to build sockjsUrl, if defined.
trashpanda001
committed

Commits on Jun 9, 2018

Rename `public` to `publicOpt`, as it is a reserve word.
trashpanda001
committed