fix "wormhole-server restart" default ports to match plain "start"
fix "wormhole-server restart" default ports to match plain "start"

now that was confusing.

warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole