How to check session setting

<?php
    error_reporting (E_ALL ^ E_NOTICE); // just an error finder.. no need to use it
    include("config.php");
    session_start();
    if (!isset($_SESSION['user']))
        {
            header("Location:index.php");
        }
?>