mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2024-12-27 02:30:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/gradio-app/gradio

Browse Source
This commit is contained in:
Ali Abid 2021-03-01 17:26:19 -08:00
commit c00aad37c0
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

@ -320,7 +320,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