Add PRE configuration file (#15)

* Add PRE configuration file

* Add 'debug' configuration

Author: volodymyrkochyn

backend/restapi_server.py

@@ -315,6 +315,7 @@ def main():
     parser = argparse.ArgumentParser(description='Rapid Power Estimator Rest API Server command-line arguments.')
     parser.add_argument('device_file', type=str, help='Path to the input device xml file')
     parser.add_argument('--port', type=int, default=5000, help='Specify TCP Port to use for REST server')
+    parser.add_argument('--debug', default=False, action='store_true', help='Enable/Disable debug mode')
     args = parser.parse_args()
 
     # Check if the device_file exists
@@ -327,7 +328,7 @@ def main():
     devicemanager = DeviceManager(args.device_file)
 
     # Start Rest API server
-    app.run(debug=False, port=args.port)
+    app.run(debug=args.debug, port=args.port)
 
 if __name__ == "__main__":
     main()

main.js

@@ -2,12 +2,18 @@ const { app, BrowserWindow } = require("electron");
 const { spawn } = require("child_process");
 const path = require("node:path");
 
+const config = require("./rpe.config.json")
+
 const startFlaskServer = () => {
-  const device_xml = path.join(__dirname, "backend/etc/device.xml");
-  const apiServer = spawn(`python`, [
+
+  const device_xml = path.join(__dirname, config.device_xml);
+  var args = [
     path.join(__dirname, "backend/restapi_server.py"),
-    device_xml,
-  ]);
+    device_xml, "--port", config.port
+  ];
+  if (config.debug === 1)
+    args.push("--debug");
+  const apiServer = spawn(`python`, args);
 
   apiServer.stdout.on("data", (data) => {
     console.log(`stdout:\n${data}`);

rpe.config.json

@@ -0,0 +1,6 @@
+{
+    "port": 5000,
+    "server": "http://127.0.0.1",
+    "device_xml": "backend/etc/device.xml",
+    "debug": 0
+}

src/assets/serverAPI.js

@@ -1,6 +1,7 @@
 import { formatString } from "./common"
-const server = "http://127.0.0.1";
-const port = "5000";
+const config = require("./../../rpe.config.json")
+const server = config.server;
+const port = config.port;
 
 export const devices = formatString("{0}:{1}/devices", server, port)