checklogin.php 177 B

1234567891011
  1. <?php
  2. /**
  3. * Redirects to the login page if not logged in.
  4. */
  5. session_start();
  6. include_once("tools/util.php");
  7. if (!check_login()) {
  8. header('LOCATION:login.php');
  9. die();
  10. }
  11. ?>