docker reboot unless stopped

Dockerfile

@@ -28,7 +28,8 @@ COPY webapp/backend ./webapp/backend
 COPY data ./data
 
 RUN pip install --no-cache-dir --upgrade pip \
-    && pip install --no-cache-dir ".[web]"
+    && pip install --no-cache-dir ".[web]" \
+    && pip install --no-cache-dir gurobipy
 
 COPY --from=frontend-build /app/webapp/frontend/dist ./webapp/frontend/dist
 

README.md

@@ -99,6 +99,19 @@ Optionale Runtime-Parameter:
 - `APP_HOST` (Default: `0.0.0.0`)
 - `APP_PORT` (Default: `8000`)
 - `LOG_LEVEL` (Default: `info`)
+- `GRB_LICENSE_FILE` (Default im Compose: `/app/licenses/gurobi.lic`)
+- optional für WLS: `GRB_WLSACCESSID`, `GRB_WLSSECRET`, `GRB_LICENSEID`
+
+### Gurobi im Docker-Container
+
+- `gurobipy` wird im Runtime-Image installiert.
+- Für klassische Lizenzdatei: `./licenses/gurobi.lic` auf dem Host ablegen.
+- Für WLS statt Datei: die drei `GRB_*`-Variablen im Shell-Environment setzen.
+- Verfügbarkeit prüfen:
+
+```bash
+curl http://localhost:8080/api/health
+```
 
 
 ## Abhängigkeiten

docker-compose.yml

@@ -4,11 +4,17 @@ services:
       context: .
       dockerfile: Dockerfile
     image: leag-coallog:latest
+    restart: unless-stopped
     ports:
       - "8080:8080"
     environment:
       APP_HOST: 0.0.0.0
       APP_PORT: "8080"
       LOG_LEVEL: info
+      GRB_LICENSE_FILE: ${GRB_LICENSE_FILE:-/app/licenses/gurobi.lic}
+      GRB_WLSACCESSID: ${GRB_WLSACCESSID:-}
+      GRB_WLSSECRET: ${GRB_WLSSECRET:-}
+      GRB_LICENSEID: ${GRB_LICENSEID:-}
     volumes:
       - ./var:/app/var
+      - ./licenses:/app/licenses:ro