Free port when exiting via the exit button

Author: Sarah Krebs

CHANGELOG.md

@@ -28,6 +28,7 @@
 - When getting budget, objectives etc from multiple runs in Cost over Time and Pareto Front:
     - Instead of taking the first run as comparative value,
     - take the one with the lowest budget, else the index for the budgets could be out of bounds.
+- Free port when exiting via the exit button (#52).
 
 ## Documentation
 - Add How to Contribute section.

deepcave/layouts/header.py

@@ -17,10 +17,11 @@
 import time
 
 import dash_bootstrap_components as dbc
+import requests
 from dash import dcc, html
 from dash.dependencies import Input, Output
 
-from deepcave import app, c, queue
+from deepcave import app, c, config, queue
 from deepcave.layouts import Layout
 
 
@@ -114,6 +115,7 @@ def callback(n_clicks: Optional[int]) -> None:
             # Then we want to terminate DeepCAVE
             if n_clicks is not None:
                 time.sleep(1)
+                requests.post(f"http://localhost:{config.DASH_PORT}/shutdown")
                 os._exit(130)
 
     def __call__(self) -> html.Header:  # noqa: D102