File size: 217 Bytes
62a0596 |
1 2 3 4 5 6 7 8 9 10 11 |
#!/bin/bash
PID_FILE="server/server.pid"
if [ -f "$PID_FILE" ]; then
PID=$(cat "$PID_FILE")
kill $PID
rm "$PID_FILE"
echo "Serveur llama.cpp arrêté."
else
echo "Aucun PID de serveur trouvé."
fi
|