Creazione, modifica ed eliminazione di server
- Creazione di un server
È possibile creare un server per identificare l'ambiente di runtime da utilizzare per la verifica delle risorse del progetto. Il termine creazione di un server definisce la creazione di un puntatore dal workbench a un server esistente, dove il server è già stato creato dall'installazione di un server delle applicazioni.
- 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.
- Eliminazione di un server
È possibile eliminare un server dalla vista Server.