It happened again. In the meantime I had added the line Restart=on-failure
to the [Service] section of /lib/systemd/system/named.service, so the name server was automatically restarted. -- Francesco Potortì (ricercatore) Voice: +39.050.621.3058 ISTI - Area della ricerca CNR Mobile: +39.348.8283.107 via G. Moruzzi 1, I-56124 Pisa Skype: wnlabisti (gate 20, 1st floor, room C71) Web: http://fly.isti.cnr.it