Always use a hardcoded port#9985

Merged

3 commits merged into

fix_runtests_browser

Jul 29, 2016

Commits on Jul 27, 2016

Remove hardcoded port, use the custom port
Andy Hanson
committed

Commits on Jul 28, 2016

Get rid of port parameter
Andy Hanson
committed
Remove [port] in usage message
Andy Hanson
committed