#!/bin/bash
if [ -f flask.pid ]; then
    PID=$(cat flask.pid)
    echo "Arrêt du serveur avec PID $PID..."
    kill $PID
    rm flask.pid
    echo "Serveur arrêté."
else
    echo "Aucun PID trouvé. Le serveur ne semble pas en cours d'exécution."
fi