Problema risolto Come si chiude correttamente il server?