Configuration du bean géré de commandes serveur
Name | Type | Default | Description |
---|---|---|---|
startServerTimeout | Période avec une précision à la seconde près | 60s | Temps 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. |
stopServerTimeout | Période avec une précision à la seconde près | 60s | Temps 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. |
javadumpTimeout | Période avec une précision à la seconde près | 60s | Dé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. |