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
Antonios Krinis, Alexis Papadimitriou, Panagiotis Symeonidis, Yannis Manolopoulos