<?php
  if (!isset($_SERVER['PHP_AUTH_USER'])) {
       Header("WWW-Authenticate: Basic realm=\"OPE\"");
       Header("HTTP/1.0 401 Unauthorized");
       echo "Text to send if user hits Cancel button\n";
       exit;
       } else {
  
echo($_SERVER['PHP_AUTH_USER']);
   if ($_SERVER['PHP_AUTH_USER'] == 'sydler' or
       $_SERVER['PHP_AUTH_USER'] == 'punti'){
           $rechte = 0;
   }
   else {
      $page_id=fopen("admin.dat", "r");
      $auth_user = fgets($page_id);
      $rechte=99;
      while (!feof($page_id) and $rechte==99){
	  //echo(trim(substr($auth_user,2,15))."#".$pagepath.$pagename."#".trim(substr($auth_user,20))."#".substr_count($pagepath.$pagename,trim(substr($auth_user,20)))."#<br>");
         if (trim(substr($auth_user,2,15))==$REMOTE_USER and substr_count($pagepath.$pagename,trim(substr($auth_user,20)))<>0){
            $rechte=substr($auth_user,0,1);
         }
         $auth_user = fgets($page_id);
      }
      fclose($page_id);
   }
}
   if ($rechte >=3){
      echo ('User '.$REMOTE_USER.' not defined error no. 2');
      exit;      
   }
?>