Préférences de l'explorateur de services Web

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 :

  1. Ouvrez le fichier plugin_customization.ini de votre produit.
  2. 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 :

  1. 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
  2. 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.
Icône indiquant le type de rubrique Rubrique de référence
Dispositions pour les centres de documentation | Commentaires en retour

Icône d'horodatage Dernière mise à jour: May 29, 2014 10:11

Nom de fichier : rwsexplorer.html