serverCommands - Bean géré de commandes serveur (serverCommands)

Configuration du bean géré de commandes serveur

NameTypeDefaultDescription
startServerTimeoutPériode avec une précision à la seconde près60sTemps d'attente à observer avant le démarrage du serveur distant. La valeur par défaut est de 60 secondes. Indiquez une valeur entière suivie d'une unité de temps, qui peut être heure (h), minute (m) ou seconde (s). Par exemple, pour 30 secondes, indiquez 30s. Vous pouvez inclure plusieurs valeurs dans une même entrée. Par exemple, 1m30s correspond à 90 secondes.
stopServerTimeoutPériode avec une précision à la seconde près60sTemps d'attente à observer avant l'arrêt du serveur distant. La valeur par défaut est de 60 secondes. Indiquez une valeur entière suivie d'une unité de temps, qui peut être heure (h), minute (m) ou seconde (s). Par exemple, pour 30 secondes, indiquez 30s. Vous pouvez inclure plusieurs valeurs dans une même entrée. Par exemple, 1m30s correspond à 90 secondes.
javadumpTimeoutPériode avec une précision à la seconde près60sDélai d'attente pour que le serveur distant génère un cliché de segment de mémoire Java ou un cliché de l'unité d'exécution. La valeur par défaut est de 60 secondes. Indiquez une valeur entière suivie d'une unité de temps, qui peut être heure (h), minute (m) ou seconde (s). Par exemple, pour 30 secondes, indiquez 30s. Vous pouvez inclure plusieurs valeurs dans une même entrée. Par exemple, 1m30s correspond à 90 secondes.