From 61d9596d35e8e9c1bb4ccd19370767730afb0287 Mon Sep 17 00:00:00 2001
From: jesopo <github@lolnerd.net>
Date: Fri, 22 Feb 2019 17:00:46 +0000
Subject: [PATCH] Support `[ipv6]:port` format

---
 src/conf.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/conf.py b/src/conf.py
index 33c88706e..514767236 100644
--- a/src/conf.py
+++ b/src/conf.py
@@ -256,6 +256,11 @@ class Servers(registry.SpaceSeparatedListOfStrings):
     def convert(self, s):
         s = self.normalize(s)
         (server, port) = s.rsplit(':', 1)
+
+        # support for `[ipv6]:port` format
+        if server.startwith("[") and server.endswith("]"):
+            server = server[1:-1]
+
         port = int(port)
         return (server, port)