mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-06 10:25:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

url_ok fix

Browse Source
This commit is contained in:
dawoodkhan82 2021-03-01 14:39:42 -05:00
parent b9ba180bd2
commit 811c742e4b
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gradio/networking.py
View File

@ -317,7 +317,10 @@ def setup_tunnel(local_server_port):
def url_ok(url):
try:
r = requests.head(url)
return r.status_code == 200
for _ in range(5):
time.sleep(.500)
r = requests.head(url)
if r.status_code == 200:
return True
except (ConnectionError, requests.exceptions.ConnectionError):
return False