Following a reboot symptoms still occur. However, sudo /etc/init.d/networking restart seems to clear the problem.
Following a reboot symptoms still occur. d/networking restart
However,
sudo /etc/init.
seems to clear the problem.