code: public String get_tango_host(final Connection connection) throws DevFailed {
  	    checkIfTango(connection, "get_tango_host");
  		    return connection.url.host + ":" + connection.url.strPort;
      }
docs: ==========================================================================