From 1895ac34d7ea36adec939137f0515bde582bbcb4 Mon Sep 17 00:00:00 2001
From: jesopo
Date: Wed, 6 Feb 2019 18:11:19 +0000
Subject: If a server has a hostname that's not an IP, use it as SNI server
 name

---
 src/utils/__init__.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'src/utils')

diff --git a/src/utils/__init__.py b/src/utils/__init__.py
index 5267b79f..d76f020f 100644
--- a/src/utils/__init__.py
+++ b/src/utils/__init__.py
@@ -1,4 +1,4 @@
-import decimal, io, re, typing
+import decimal, io, ipaddress, re, typing
 from src.utils import cli, consts, irc, http, parse
 
 TIME_SECOND = 1
@@ -179,3 +179,10 @@ class CaseInsensitiveDict(dict):
         return dict.__getitem__(self, key.lower())
     def __setitem__(self, key: str, value: typing.Any) -> typing.Any:
         return dict.__setitem__(self, key.lower(), value)
+
+def is_ip(s: str) -> bool:
+    try:
+        ipaddress.ip_address(s)
+    except ValueError:
+        return False
+    return True
-- 
cgit v1.3.1-10-gc9f91