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: handle server names with embeded ports

---
 scripts/check_signature.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'scripts')

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:
-- 
cgit 1.4.1