Restarting dhcpd on Ubuntu 11.04

Restarting dhcpd on Ubuntu 11.04 (and later I presume) is easy, it's just that the Ubuntu Gods have decided to rename it. Since I was running a quite old server I had to learn about the service command as well... Fixing a shortage of free leases took way too long ;-)

service isc-dhcp-server restart