2.6. Logging Out
      To exit your GNOME session, choose Log Out from the 
      menu. You are presented with the choice of logging out (leaving
      the system running), restarting the machine, or halting the
      system completely.  To quit the graphical desktop, select the
      Log Out radio button and click OK.