“PHP Redirección si no se inicia sesión” Código de respuesta

PHP Redirección si no se inicia sesión

if(!isset($_SESSION['login'])){ //if login in session is not set
    header("Location: http://www.example.com/login.php");
}