U kunt uw server bewerken met een servereditor.
Welke velden u kunt wijzigen, is afhankelijk van de runtimeomgeving
waarvoor de server is gedefinieerd en of de server is gedefinieerd als lokale
server of als server op afstand.
- Open op een van de volgende manieren een servereditor:
- Dubbelklik in de view Servers op de server die u wilt bewerken.
- Klik met de rechtermuisknop op de server in de view Servers en kies in
het menu Openen.
- Wanneer de servereditor in de workbench geopend is, kunt u uw wijzigingen
opslaan door
te kiezen of door op CTRL+S te drukken.
Tip: Wijzigingen in de servereditor die nog niet zijn opgeslagen,
worden aangegeven met een sterretje (*) boven aan de servereditor.
Dit sterretje verdwijnt als u de wijzigingen in de servereditor opslaat.
- Sluit de editor voordat u modules op de server start, opnieuw start,
toevoegt of verwijdert.