IDM: IDManager e auto-aggiornamento

Descrizione

Fino alla versione 10.0 di Instant Developer l'aggiornamento di IDManager era un'operazione che andava eseguita manualmente. In particolare occorreva:

• sapere che era disponibile una nuova versione di IDManager
• copiare il file IDManager.exe (C#) o IDManager.war (Java) sul server di produzione
• aggiornare manualmente IDManager

A partire dalla versione 10.1 di Instant Developer l'aggiornamento di IDManager è automatico. In particolare ogni volta che Instant Developer contatta IDManager verifica se se è aggiornato. Se non lo è presenta all'utente il seguente messaggio:

Se la risposta dell'utente è affermativa Instant Developer invia l'aggiornamento ad IDManager che si aggiorna. Al termine dell'aggiornamento è possibile riavviare la procedura di pubblicazione premendo il tasto Avanti.

Funzionalità interessate

L'aggiornamento di IDManager tramite Instant Developer.

Note

• Nota bene: la funzionalità di auto-aggiornamento è presente in IDManager versione 9 e Instant Developer sarà in grado di aggiornare automaticamente IDManager solo a partire dalla versione 10 di quest'ultimo. E' quindi necessario aggiornare IDManager alla versione 9 utilizzando la procedura manuale descritta sopra.