[Python] Get server ping time

gistfile1.txt

import re
import subprocess

host = 'google.com'

try:
    output = subprocess.check_output(['ping', '-c', '4', '-q', host])
    output = output.decode('utf8')
    statistic = re.search(r'(\d+\.\d+/){3}\d+\.\d+', output).group(0)
    avg_time = re.findall(r'\d+\.\d+', statistic)[1]
    response_time = float(avg_time)

except subprocess.CalledProcessError:
    response_time = 99999999