<?

  include(Str_Replace("bininfo.php","config.inc",__FILE__));
  include(Str_Replace("bininfo.php","system.inc",__FILE__));

  $bininfo_params = Array (
            "$bininfo_executable",
	    "-C $bininfo_config_file",
            "-S BinInfo.InputDatafile=$binstore.dat",
            "-S BinInfo.InputIndexfile=$binstore.idx",
            "-S BinInfo.OutputFile=stdout"
            );

  $result = mysystem ($bininfo_params, false);

  if (count($result) < 2 || (ereg ("xml version", $result[0]) == false))
  {
      for ($i=0;$i<count($result);$i++)
      {
          echo htmlentities ($result[$i]) . "<BR>";
      }

      die ("");
  }

  header ("Content-type: text/xml");
 
  for ($i=1;$i<count($result);$i++)
  {
      echo $result[$i]; 
  }

?>