checklogin.php 183 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:selfservice.php');
  9. die();
  10. }
  11. ?>