Restarting the dock in Mac OS X

My dock recently stopped working, including cmd-tab and the desktop. This seemed to fix it.

> ps aux | grep Dock | grep -v grep
jamund     193   0.3  0.4   440160   8572   ??  S     1:56PM   0:33.83 /System/Library/CoreServices/Dock.app/Contents/MacOS/Dock -psn_0_53261
> kill -HUP 193