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

auth fix

Browse Source
This commit is contained in:
Ali Abid 2021-03-09 09:35:27 -08:00
parent cf3923e307
commit 34e7c6f1d2
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gradio/networking.py
View File

@ -275,9 +275,9 @@ def start_server(interface, server_name, server_port=None, auth=None):
server_port, server_port + TRY_NUM_PORTS
)
if auth is not None:
app.interface.config['BASIC_AUTH_USERNAME'] = auth[0]
app.interface.config['BASIC_AUTH_PASSWORD'] = auth[1]
app.interface.config['BASIC_AUTH_FORCE'] = True
app.config['BASIC_AUTH_USERNAME'] = auth[0]
app.config['BASIC_AUTH_PASSWORD'] = auth[1]
app.config['BASIC_AUTH_FORCE'] = True
basic_auth = BasicAuth(app)
app.interface = interface
app.cwd = os.getcwd()
@ -323,7 +323,7 @@ def url_ok(url):
for _ in range(5):
time.sleep(.500)
r = requests.head(url, timeout=3)
if r.status_code == 200:
if r.status_code == 200 or r.status_code == 401: # 401 if auth is set
return True
except (ConnectionError, requests.exceptions.ConnectionError):
return False