Added possibility to change server's logging.properties

- important when reproducing some issues

Signed-off-by: David Matějček <david.matejcek@omnifish.ee>

docker/run_jakartaeetck.sh

@@ -150,6 +150,10 @@ mkdir -p "${CTS_HOME}/ri"
 unzip -q "${GF_BUNDLE_ZIP}" -d "${CTS_HOME}/ri"
 chmod -R 777 "${CTS_HOME}/ri"
 
+if [ -n "$GF_LOGGING_CFG_RI" ]; then
+  cp "$GF_LOGGING_CFG_RI" "${CTS_HOME}/ri/${GF_RI_TOPLEVEL_DIR}/glassfish/domains/domain1/config/logging.properties"
+fi
+
 export ADMIN_PASSWORD_FILE="${CTS_HOME}/admin-password.txt"
 echo "AS_ADMIN_PASSWORD=adminadmin" > "${ADMIN_PASSWORD_FILE}"
 
@@ -264,6 +268,10 @@ if [[ "$JDK" == "JDK17" || "$JDK" == "jdk17" ]];then
   echo "updated ts.jte to use -add-opens for Java SE 17 "
 fi
 
+if [ -n "$GF_LOGGING_CFG_VI" ]; then
+  cp "$GF_LOGGING_CFG_VI" "${CTS_HOME}/ri/${GF_VI_TOPLEVEL_DIR}/glassfish/domains/domain1/config/logging.properties"
+fi
+
 ${CTS_HOME}/vi/$GF_VI_TOPLEVEL_DIR/glassfish/bin/asadmin --user admin --passwordfile ${CTS_HOME}/change-admin-password.txt change-admin-password
 ${CTS_HOME}/vi/$GF_VI_TOPLEVEL_DIR/glassfish/bin/asadmin --user admin --passwordfile ${ADMIN_PASSWORD_FILE} start-domain
 ${CTS_HOME}/vi/$GF_VI_TOPLEVEL_DIR/glassfish/bin/asadmin --user admin --passwordfile ${ADMIN_PASSWORD_FILE} version