diff --git a/Jenkinsfile b/Jenkinsfile index fe6a28d..4a7ea24 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,7 +36,7 @@ pipeline { cd "$WORKSPACE" # 1) ArrĂȘter l'ancienne instance de CE jar (et pas tout java) - OLD_PIDS=$(pgrep -f "rock-paper-scissors" || true) + OLD_PIDS=$(pgrep -f "rock-paper-scissors-0.0.1-SNAPSHOT.jar" || true) if [ -n "$OLD_PIDS" ]; then echo "ArrĂȘt des anciennes instances: $OLD_PIDS" kill $OLD_PIDS || true