Verificador de log-in

Código em php que testa a session de log-in. Caso o usuário não tenha é redirecionado para a página inicial.