Remove unused code

pull/474/head
Ivan Habunek 2024-01-03 12:08:31 +01:00
rodzic e1be3a68bb
commit 965ffa1312
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: F5F0623FF5EBCB3D
1 zmienionych plików z 0 dodań i 13 usunięć

Wyświetl plik

@ -73,19 +73,6 @@ def format_content(content):
first = False
def domain_exists(name):
try:
socket.gethostbyname(name)
return True
except OSError:
return False
def assert_domain_exists(domain):
if not domain_exists(domain):
raise ConsoleError("Domain {} not found".format(domain))
EOF_KEY = "Ctrl-Z" if os.name == 'nt' else "Ctrl-D"