#!/bin/bash
# Beendet laufende Instanzen von web/serve.py, um Port-Konflikte auf 8081 zu lösen.
set -euo pipefail

if pgrep -f "python3 .*web/serve.py" >/dev/null; then
  pkill -f "python3 .*web/serve.py"
  echo "Alte serve.py-Prozesse beendet."
else
  echo "Keine laufende serve.py-Instanz gefunden."
fi