<FRAMESET rows="35, *">

<?php
  echo '<FRAME src="query.php?q=' . $_REQUEST["q"] . '">';

function read_server_list($filenm) {

  $servers = array();

  #-- thru lines
  foreach (file($filenm) as $line) {

     #-- four elements
     $line = explode("|", $line, 5);

     #-- last is a list of numeric options
     $flags = preg_split("/\s*[,;|]\s*/", $line[4]);
     $line[4] = array();
     foreach ($flags as $f) {
        $name = strtok($f, "=");
        $val = strtok(" \r\n\t\f=;");
        if (strlen($val) && strlen($name)) {
           $line[4][$name] = $val;
        }
     }

     $servers[] = $line;
  }

  return($servers);
}

if (isset($_REQUEST["q"])) 
{ 
  $servers = read_server_list("servers.txt");
  $osservers = array();
  foreach ($servers as $i=>$s)
  {
    if ($s[1] == "OpenSearch")
    {
      $osservers[] = $s;
    }
  }
  echo '<FRAMESET cols="';
  foreach ($osservers as $i=>$s)
  {
    if ($i != 0) {
      echo ",";
    }
    echo "*";
  }
  echo '">';
  foreach ($osservers as $i=>$s)
  {
    $searchurl = $s[2];
    $searchurl = preg_replace('/{searchTerms}/', $_REQUEST["q"], $searchurl);
    echo "<frame width='49%' height='100%' src='" . $searchurl . "'></iframe>";
  }
}

?>
  </FRAMESET>
<NOFRAMES>
geen frames?
  </NOFRAMES>
</FRAMESET>