>On a Windows Server 2003 which is buggy and does not allow a manual restart, other than when asked from a Windows Update, the following command could be useful:
>
>Shutdown /r
>
>Full details are available here:
>
>http://www.techrepublic.com/blog/the-enterprise-cloud/restart-windows-server-2003-from-the-command-line

Also handy when working on a remote pc. :)