summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--scripts/check_signature.py4
1 files changed, 4 insertions, 0 deletions
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: