dynammic port for gradio

nebari-dev · Aug 28, 2023 · 548aa79 · 548aa79
1 parent 927f8bd
commit 548aa79
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/jhub_apps/examples/gradio_basic.py b/jhub_apps/examples/gradio_basic.py
@@ -10,11 +10,10 @@ def greet(name):
 
 
 parser = argparse.ArgumentParser(description="Process CLI args for gradio")
-parser.add_argument("--server-port", type=str, help="server_port for gradio app", default=8500)
+parser.add_argument(
+    "--server-port", type=str, help="server_port for gradio app", default=8500
+)
 parser.add_argument("--root-path", type=str, help="root_path for gradio", default=None)
 cli_args = parser.parse_args()
 
-demo.launch(
-    server_port=8500,
-    root_path=cli_args.root_path
-)
+demo.launch(server_port=int(cli_args.server_port), root_path=cli_args.root_path)
diff --git a/jhub_apps/spawner/command.py b/jhub_apps/spawner/command.py
@@ -19,7 +19,7 @@
 COMMANDS = {
     "gradio": {
         "args": [
-            "--destport=8500",
+            "--destport=0",
             "python",
             f'{EXAMPLES_PATH.get("gradio")}',
         ],

diff --git a/jhub_apps/spawner/spawner.py b/jhub_apps/spawner/spawner.py
@@ -28,6 +28,7 @@ def get_args(self):
                 argv.append(base_url_param)
             if framework == "gradio":
                 args = [
+                    "{--}server-port={port}",
                     "{--}root-path=" + jh_service_prefix,
                     "--ready-check-path=/",
                 ]