I've had the same bug on Ubuntu 13.04 64 bit, I worked around it by using: $ sudo service network-manager restart instead of $ sudo service networking restart
I've had the same bug on Ubuntu 13.04 64 bit, I worked around it by using:
$ sudo service network-manager restart
instead of
$ sudo service networking restart