Cercando di aggiungere un nuovo maps server a "web maps" , ho introdotto un errore, duplicando un nome esistente. Non riesco pił ad accedere alla lista e non trovo un file da "editare" (tipo MapsServers.xml di Utilities/Servers/Map server). Quindi non riesco ad eliminare la duplicazione. Aiuto! PS : grazie per estensione "line width" (5>10)