From e66f2106abcd4efc96068b4e53743b06126a16e7 Mon Sep 17 00:00:00 2001 From: Maxime Pierront Date: Sun, 23 Nov 2025 19:39:15 +0100 Subject: [PATCH] Add guide --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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