From fe6832fae85d56b0b4cdc906a73a2c64a26de15d Mon Sep 17 00:00:00 2001
From: Mark Haines <mark.haines@matrix.org>
Date: Mon, 3 Nov 2014 16:08:22 +0000
Subject: [PATCH] handle server names with embeded ports
---
scripts/check_signature.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/scripts/check_signature.py b/scripts/check_signature.py
index 6309c32cc1..e7964e7e71 100644
--- a/scripts/check_signature.py
+++ b/scripts/check_signature.py
@@ -15,6 +15,10 @@ import argparse
import logging
def get_targets(server_name):
+ if ":" in server_name:
+ target, port = server_name.split(":")
+ yield (target, int(port))
+ return
try:
answers = dns.resolver.query("_matrix._tcp." + server_name, "SRV")
for srv in answers:
--
GitLab