have 443 as default port
actually override defaults
suync up

Merge branch 'master' of github.com:oetiker/SmokePing