From 3a8d92a4e6dee20728d8963bc3250978ae041bf6 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Wed, 29 May 2024 11:28:38 +0200
Subject: [PATCH] moved debug port to 8100

---
 dockerize/buildImageAndStart.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dockerize/buildImageAndStart.sh b/dockerize/buildImageAndStart.sh
index 6a435f1..cdba371 100755
--- a/dockerize/buildImageAndStart.sh
+++ b/dockerize/buildImageAndStart.sh
@@ -172,7 +172,7 @@ fi
 
 if [ ${EXECUTE} = true ]; then
     if [ $DEBUG = true ]; then
-        docker run -p $PORT:8080 -p $DEBUG_PORT:5005 -e JAVA_TOOL_OPTIONS="-agentlib:jdwp=transport=dt_socket,address=*:5005,server=y,suspend=y" $DOCKER_BUILD_NAME
+        docker run -p $PORT:8080 -p $DEBUG_PORT:8100 -e JAVA_TOOL_OPTIONS="-agentlib:jdwp=transport=dt_socket,address=*:8100,server=y,suspend=y" $DOCKER_BUILD_NAME
     else
         docker run -p $PORT:8080 $DOCKER_BUILD_NAME
     fi