È possibile modificare un server mediante il relativo editor.
I campi modificati dipendono dall'ambiente di runtime definito per l'utilizzo del server o dal fatto che il server sia definito come server locale o remoto.
Per modificare un server:
Aprire un editor del server, completando una delle seguenti operazioni:
Nella vista Server, fare doppio clic sul server che si desidera modificare.
Fare clic con il tasto destro del mouse sul server nella vista Server, dal menu a comparsa selezionare Apri.
Quando l'editor del server si apre nel workbench, è possibile salvare le modifiche selezionando dalla barra degli strumenti File > Salva o premendo CTRL+S.
Suggerimento: Le modifiche all'editor del server non salvate vengono indicate con un'icona * nella parte superiore dell'editor del server.
Una volta salvate le modifiche, l'icona * non dovrebbe essere più visualizzata nell'editor del server.
Prima di avviare, riavviare o aggiungere e rimuovere moduli sul server, verificare che l'editor sia chiuso.