<?php

session_start();

if ( ! empty( $_SESSION['user'] ) ) {
	require_once 'lib/users.class.php';
	$auth = new User_Authentication( $StorageDir );
	$auth->logout( $_SESSION['user']['id'] );
}

$_SESSION = array();
$params = session_get_cookie_params();
setcookie( session_name(), '', time() - 3600, $params['path'],
	$params['domain'], $params['secure'], $params['httponly'] );
session_destroy();
header( "Location: {$BaseUrl}/login" );

// end of file logout.php