<?php

    // configuration
    require_once(dirname(__FILE__) . "/config.php");

?>

<!DOCTYPE html>

<html lang="en-us">
  <head>
    <meta charset="utf-8">
    <title>Example</title>
  </head>
  <body>
    <?php if (isset($_SESSION["mail"])): ?>
      You are logged in as <?= htmlspecialchars($_SESSION["mail"]) ?>.  <a href="logout.php">Log out</a>.
    <?php else: ?>
      You are not logged in.  <a href="login.php">Log in</a>.
    <?php endif ?>
  </body>
</html>
