Spaces:
Running
Running
Add Server Args
Browse files
app.py
CHANGED
@@ -384,6 +384,13 @@ def ui(**kwargs):
|
|
384 |
# Show the interface
|
385 |
launch_kwargs = {}
|
386 |
share = kwargs.get('share', False)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
387 |
if share:
|
388 |
launch_kwargs['share'] = share
|
389 |
launch_kwargs['favicon_path']= "./assets/favicon.ico"
|
|
|
384 |
# Show the interface
|
385 |
launch_kwargs = {}
|
386 |
share = kwargs.get('share', False)
|
387 |
+
server_port = kwargs.get('server_port', 0)
|
388 |
+
server_name = kwargs.get('listen')
|
389 |
+
|
390 |
+
launch_kwargs['server_name'] = server_name
|
391 |
+
|
392 |
+
if server_port > 0:
|
393 |
+
launch_kwargs['server_port'] = server_port
|
394 |
if share:
|
395 |
launch_kwargs['share'] = share
|
396 |
launch_kwargs['favicon_path']= "./assets/favicon.ico"
|