Update app.py
Browse files
app.py
CHANGED
@@ -141,8 +141,8 @@ with gr.Blocks() as server_manager:
|
|
141 |
|
142 |
with gr.Row():
|
143 |
action = gr.Radio(["start", "stop", "db-stats", "create-table", "delete-table"], label="Action")
|
144 |
-
name = gr.Textbox(label="Server or Table Name"
|
145 |
-
port = gr.Number(label="Port",
|
146 |
|
147 |
with gr.Row():
|
148 |
submit = gr.Button("Submit")
|
|
|
141 |
|
142 |
with gr.Row():
|
143 |
action = gr.Radio(["start", "stop", "db-stats", "create-table", "delete-table"], label="Action")
|
144 |
+
name = gr.Textbox(label="Server or Table Name") # Removed optional=True
|
145 |
+
port = gr.Number(label="Port", visible=False) # Making port field visible only when starting a server
|
146 |
|
147 |
with gr.Row():
|
148 |
submit = gr.Button("Submit")
|