Problemi con il logout

[gianiaz]

<?php
session_start();
$_SESSION = array();
header ("location: mainlogin.php");
?>