From c5a3cfc0092f86f101b4bc6825a3b77bc8ee1de6 Mon Sep 17 00:00:00 2001
From: Thomas Mangin <thomas.mangin@exa.net.uk>
Date: Sun, 8 Mar 2020 20:24:55 +0000
Subject: ping: T2109: fix/add name resolution

---
 scripts/ping | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/ping b/scripts/ping
index e41e334..e8b0471 100755
--- a/scripts/ping
+++ b/scripts/ping
@@ -16,6 +16,7 @@
 
 import os
 import sys
+import socket
 import ipaddress
 
 options = {
@@ -205,9 +206,14 @@ if __name__ == '__main__':
                 matched = complete(option)
                 sys.stdout.write(options[matched[0]]['type'])
                 sys.exit(0)
- 
+
+    try:
+        ip = socket.gethostbyname(host)
+    except socket.gaierror:
+        sys.exit(f'ping: Unknown host: {host}')
+
     try:
-        version = ipaddress.ip_address(host).version
+        version = ipaddress.ip_address(ip).version
     except ValueError:
         sys.exit(f'ping: Unknown host: {host}')
 
-- 
cgit v1.2.3