在macos下，stop-server.sh无效： #kill -s TERM $PID kill -9 $PID

**Describe the bug**
A clear and concise description of what the bug is.

**To Reproduce**
Steps to reproduce the behavior:
1. Go to '...'
2. Click on '....'
3. Scroll down to '....'
4. See error

**Expected behavior**
A clear and concise description of what you expected to happen.

**Screenshots**
If applicable, add screenshots to help explain your problem.

**Desktop (please complete the following information):**
- OS: [e.g. iOS]
- Browser [e.g. chrome, safari]
- Version [e.g. 22]

**Additional context**
Add any other context about the problem here.

Beginne damit, stop-server.sh zu finden und das gemeldete Verhalten unter macOS zu reproduzieren. Untersuche die in der Issue gezeigten TERM- und kill -9-Befehle und überprüfe anschließend, dass der Server wie erwartet stoppt, ohne einen unwirksamen Befehl zu benötigen. Die Issue ist abgeschlossen, wenn das Skript den Server unter macOS zuverlässig stoppt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.