Aggiungi URL del server WMS |
Apre la finestra di dialogo Crea definizione server, che consente di aggiungere un nuovo server WMS all'elenco. |
Elimina voce server |
Consente di eliminare la voce server selezionata. |
Importa URL server |
Consente di importare URL server da un altro file. La logica di importazione dei server da file consente di importare da un file XML o txt.
Quando si importa da un file XML, questo viene analizzato supponendo che abbia lo stesso formato del file specificato da MS_WMS_SERVERS. Per un esempio del formato, vedere tale file.
Quando si importa da un file txt, ogni riga presente all'interno del file viene trattata come un URL. Dopo aver letto una riga, ogni sequenza di escape XML viene tradotta nel carattere corrispondente. Ad esempio, se l'URL contiene %apos; tale sequenza viene sostituita da un apostrofo. Questo è importante se il file è stato generato da un file XML. Successivamente, le sequenze di escape URL, come %2f, vengono rimosse. Infine, viene aggiunto http: se l'URL non inizia con http:, https: o file:. Queste trasformazioni semplificano il processo di conversione di un elenco di URL da origini diverse in un file txt che l'importatore è in grado di elaborare.
|
Esporta URL server |
Consente di esportare URL server in un altro file. |
Attiva/disattiva stato preferiti |
Consente di contrassegnare un server come preferito. I server contrassegnati come preferiti vengono visualizzati in cima all'elenco. |
Connessione/URL |
Visualizza l'elenco degli URL server WMS e il relativo stato di connessione. Fare doppio clic su una voce server per connettersi al server. Facendo clic su una qualsiasi delle intestazioni di colonna, il gestore server ordina l'elenco in base a quella colonna. Se l'utente seleziona un'altra intestazione colonna, tale colonna viene utilizzata come primo criterio mentre la selezione precedente viene utilizzata come secondo criterio. Il menu di scelta rapida consente di effettuare quanto segue:
- Aggiungi URL server WMS — Equivale al pulsante Aggiungi
- Modifica URL — Apre una finestra di dialogo che consente di modificare l'URL
- Riprova connessione — Consente di riprovare se l'attuale stato della connessione è "errore"
- Elimina dall'elenco — Equivale al pulsante Elimina
- Modifica stato dei preferiti — Equivale al pulsante Preferiti
|
Server |
Visualizza i dettagli relativi al server WMS selezionato.
- Titolo: Visualizza il titolo del server attualmente selezionato.
- URL: Indica l'URL del server attualmente selezionato.
- Astratto: Visualizza il riepilogo dei dati del server WMS.
- Parole chiave: Elenca le parole chiave utilizzate per descrivere il server.
- Tariffe: Indica la presenza di eventuali tariffe associate.
- Vincoli di accesso: Specifica se sono presenti vincoli di accesso al server selezionato.
- Informazioni contatto: Visualizza le informazioni di contatto del server WMS.
WMS
SERVERS
|
OK |
Consente di accettare tutte le modifiche e le scrive nel file, quindi aggiorna la finestra di dialogo Editor mappe con la connessione al server selezionata. |