The port could be given as part of the `det_ip` option in the `host:port` format or via an additional `det_port` option.
The port could be given as part of the
det_ipoption in thehost:portformat or via an additionaldet_portoption.