<?php

/**
 * logout.php
 *
 * PHP version 4
 *
 * This file is part of Polymer.
 *
 * Polymer is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * Polymer is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Polymer; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
 *
 * @link       http://polymer.sourceforge.net
 * @author     Allen Shaw <hide@address.com> for IIFWP
 * @copyright  2005 Allen Shaw
 * @license    http://www.gnu.org/licenses/gpl.txt  GNU General Public License
 * @version    20050718.001
 * @since      File available since Polymer 0.01
 */



/////////// NOTHING BELOW THIS LINE REQUIRES (OR ANTICIPATES) ANY MODIFICATION ///////////////

// include the file that will include the correct config file.
include "config-path.php";

require_once POLYMER_DIR.'prepend.php';


// clear_submitid() is in functions.inc.php.
// it removes all submitids for this user from the submitid table.
//
clear_submitid($_SESSION['auth']['contactid']);

// logout:
$sess->do_logout();

request_credentials();



//function getmicrotime(){
//    list($usec, $sec) = explode(" ",microtime());
//    return ((float)$usec + (float)$sec);
//    }


?>