Modifica di un server

È 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:
  1. 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.
  2. 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.
  3. Prima di avviare, riavviare o aggiungere e rimuovere moduli sul server, verificare che l'editor sia chiuso.