session_start(); $username=$_GET['username']; require('database.inc'); if(!signed_in($username)){ header("location:index.html") } else { header("location:profile.php") }; ?>
To your better navigation, Please
Alexis Papadimitriou, Antonios Krinis, Panagiotis Symeonidis, Yannis Manolopoulos