mirror of
https://github.com/gradio-app/gradio.git
synced 2025-03-07 11:46:51 +08:00
1.0.1
This commit is contained in:
parent
df9f9fd8b4
commit
2f6748ebcb
@ -18,10 +18,10 @@ import sys
|
||||
import analytics
|
||||
|
||||
|
||||
INITIAL_PORT_VALUE = os.getenv(
|
||||
'GRADIO_SERVER_PORT', "7860") # The http server will try to open on port 7860. If not available, 7861, 7862, etc.
|
||||
TRY_NUM_PORTS = os.getenv(
|
||||
'GRADIO_NUM_PORTS', "100") # Number of ports to try before giving up and throwing an exception.
|
||||
INITIAL_PORT_VALUE = int(os.getenv(
|
||||
'GRADIO_SERVER_PORT', "7860")) # The http server will try to open on port 7860. If not available, 7861, 7862, etc.
|
||||
TRY_NUM_PORTS = int(os.getenv(
|
||||
'GRADIO_NUM_PORTS', "100")) # Number of ports to try before giving up and throwing an exception.
|
||||
LOCALHOST_NAME = os.getenv(
|
||||
'GRADIO_SERVER_NAME', "127.0.0.1")
|
||||
GRADIO_API_SERVER = "https://api.gradio.app/v1/tunnel-request"
|
||||
|
Loading…
Reference in New Issue
Block a user