<? # -*- perl -*-

if ($have_check_flags == "") {
  $have_check_flags = "1";

  if ($maintdir == "") $maintdir = "..";
  
  require("$maintdir/constants.php3");
  require("$authdir/constants.php3");
  require("$authdir/get-login.php3");
  require("$classdir/UserType.php3");
  require("$classdir/UserTypeFlag.php3");
  
# Check for a particular user flag
  
  function check_user_flag($flag) {
    global $theUser;
    global $utflags;
    static $set = 0;
    static $flags;
    
    # Ensure that $theUser has been filled
    
    get_login(0);
    
    if (!$set) {
      $flags = $theUser->getFlags();
      $set = 1;
    }
    
    # Check the individual flag

    if (substr($flags, $utflags[$flag], 1) != "1") {
      return 0;
    }
    
    return 1;
  }
}

?>