Make rascsi-web port configurable (#471)

src/web/start.sh

@@ -55,5 +55,21 @@ else
     fi
 fi
 
-echo "Starting web server..."
+# parse arguments
-python3 web.py
+while [ "$1" != "" ]; do
+    PARAM=$(echo "$1" | awk -F= '{print $1}')
+    VALUE=$(echo "$1" | awk -F= '{print $2}')
+    case $PARAM in
+	-p | --port)
+	    PORT=$VALUE
+	    ;;
+        *)
+            echo "ERROR: unknown parameter \"$PARAM\""
+            exit 1
+            ;;
+    esac
+    shift
+done
+
+echo "Starting web server on port ${PORT-8080}..."
+python3 web.py ${PORT}

src/web/web.py

@@ -3,6 +3,7 @@ Module for the Flask app rendering and endpoints
 """
 
 import logging
+from sys import argv
 from pathlib import Path
 
 from flask import (
@@ -820,6 +821,11 @@ if __name__ == "__main__":
     if Path(f"{CFG_DIR}/{DEFAULT_CONFIG}").is_file():
         read_config(DEFAULT_CONFIG)
 
+    if len(argv) > 1:
+        port = int(argv[1])
+    else:
+        port = 8080
+
     import bjoern
     print("Serving rascsi-web...")
-    bjoern.run(APP, "0.0.0.0", 8080)
+    bjoern.run(APP, "0.0.0.0", port)