Modification des paramètres de délai d'attente pour l'explorateur de services Web
Bien qu'il ne soit pas nécessaire dans la plupart des cas de modifier le paramètre de délai d'attente, vous pouvez modifier ce paramètre au niveau du produit ou de l'espace de travail. Cette préférence représente le délai d'attente de session de l'explorateur de services Web en minutes. La saisie d'une valeur négative désactive le délai d'attente. Si la préférence n'est pas définie, la valeur par défaut est de 30 minutes.
Pour changer le paramètre au niveau du produit :
- Ouvrez le fichier plugin_customization.ini de votre produit.
- Ajoutez la ligne suivante : org.eclipse.wst.ws.explorer/sessionTimeout=<valeur de délai d'attente>
Pour modifier le paramètre au niveau de l'espace de travail :
- Ouvrez le fichier suivant ou créez-le s'il n'existe pas : <nom_espace_travail>\.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.wst.ws.explorer.prefs
- Ajoutez ou mettez à jour la ligne suivante : sessionTimeout=<valeur de délai d'attente>
Remarque : Le paramètre de délai d'attente par défaut évite toute fuite de mémoire. Si vous le désactivez, cette protection n'est plus appliquée.