planetlab/logout.php

   1 <?php
   2 //
   3 // Logout form
   4 //
   5 // Mark Huang <mlhuang@cs.princeton.edu>
   6 // Copyright (C) 2006 The Trustees of Princeton University
   7 //
   8 // $Id$ $
   9 //
  10
  11 // Get session and API handles
  12 require_once 'plc_session.php';
  13 global $plc, $api;
  14
  15 // Print header
  16 require_once 'plc_drupal.php';
  17 drupal_set_title('Login');
  18 include 'plc_header.php';
  19
  20 // Invalidate session
  21 if ($plc->person) {
  22   $plc->logout();
  23 }
  24
  25 // Destroy PHP session
  26 session_destroy();
  27
  28 plc_redirect(l_login());
  29
  30 ?>