<?php
  // include shared code
  include '../lib/common.php';
  
  // start or join the session
  session_start();
  header('Cache-control: private');
  
  // issue 401 error if the user has not been authenticated
  if (!isset($\_SESSION[\text{'}access\text{'}])\; ||$_SESSION['access'] != TRUE)
  {
      header('HTTP/1.0 401 Authorization Error');
      ob_start();
  ?>
  <script type="text/javascript">
  window.seconds = 10; 
  window.onload = function()
  {
      if (window.seconds != 0)
      {
          document.getElementById('secondsDisplay').innerHTML = '' +
              window.seconds + ' second' + ((window.seconds > 1) ? 's' : ''); 
          window.seconds--;
          setTimeout(window.onload, 1000);
      }
      else
      {
          window.location = 'login.php';
      }
  }
  </script>
  <?php
      $GLOBALS[\text{'}TEMPLATE\text{'}][\text{'}extra\_head\text{'}]\; =\; ob\_get\_contents();\; ob\_clean();\; ?>$<p>The resource you've requested requires user authentication. Either you have
  not supplied the necessary credentials or the credentials you have supplied
  does not authorize you for access.</p>
  
  <p><strong>You will be redirected to the log in page in 
  <span id="secondsDisplay">10 seconds</span>.</strong></p>
  
  <p>If you are not automatically taken there, please click on the following
  link: <a href=<login.php>>Log In</a></p>
  <?php
      GLOBALS['TEMPLATE']['content'] = ob_get_clean();
  
      include '../templates/template-page.php';
      exit();
  }
  ?>