Allow configuration of server port

app-network.py

@@ -1,3 +1,13 @@
+import sys
+
+server_port = None
+try:
+    if len(sys.argv) > 1:
+        server_port = int(sys.argv[1])
+except ValueError:
+    print(f'Usage: python {sys.argv[0]} <server-port>\n')
+    exit(1)
+
 # Run the app with no audio file restrictions, and make it available on the network
 from app import create_ui
-create_ui(-1, server_name="0.0.0.0")
+create_ui(-1, server_name="0.0.0.0", server_port=server_port)

app.py

@@ -220,7 +220,7 @@ class WhisperTranscriber:
         return file.name
 
 
-def create_ui(inputAudioMaxDuration, share=False, server_name: str = None):
+def create_ui(inputAudioMaxDuration, share=False, server_name: str = None, server_port: int = None):
     ui = WhisperTranscriber(inputAudioMaxDuration)
 
     ui_description = "Whisper is a general-purpose speech recognition model. It is trained on a large dataset of diverse " 
@@ -253,7 +253,7 @@ def create_ui(inputAudioMaxDuration, share=False, server_name: str = None):
         gr.Text(label="Segments")
     ])
 
-    demo.launch(share=share, server_name=server_name)   
+    demo.launch(share=share, server_name=server_name, server_port=server_port)   
 
 if __name__ == '__main__':
     create_ui(DEFAULT_INPUT_AUDIO_MAX_DURATION)