fix #7618, handling of port numbers starting ssh workers.
Merge branch 'master' of github.com:JuliaLang/julia