If server is provided, log correct host/port; fixes #610#611

Merged

quinnj merged 1 commit intomasterfrom jq/610

Oct 30, 2020

+1

Commits on Oct 30, 2020

If server is provided, log correct host/port; fixes #610
quinnj
committed