In addition to the logout (which is really shut down) there should be a menu item to restart your computer.