$username = $_SESSION["username"];
$userrole = $_SESSION["userrole"];
session_register();
 
if (isset($username)) {
  if ($userrole == "leerling") {
    header("Location: leerling/home.php");
    exit();
  }
} else {
  echo "je bent niet ingelogt";
}