Miscellany

<td><font face="Courier New" size=2><?php$path="logs/";if (!isset($filter)) {echo "not set2\n";?><center><FORM ACTION="$self" METHOD="POST">Timestamp: <INPUT TYPE="CHECKBOX" NAME="timestamp" CHECKED>Log:<select name="searchlog">  <?php  $handle = opendir($path);  while ($file = readdir($handle)) {    if ($file != "." && $file != "..") {      echo "<option value=\"$file\">$file</option>\n";    }  }  closedir($handle);  ?></select>Filter: <INPUT TYPE="text" size="50" name="filter"><INPUT TYPE="submit" VALUE="Display"></FORM><?php} else {echo "is set";/*  if ($filter == '') $filter == ' ';  if ( !isset($_POST["timestamp"]) ) {    $timestamp = FALSE;  } else {    $timestamp = TRUE;  }  echo $timestamp;  $lines = file($path . $searchlog);  echo "<center> <a href=\"$self\">Clear Log</a> </center>";  echo "     ";  foreach ($lines as $line_num => $line) {      $pos = strpos($line, $filter);      if ($pos !== false) {        if ($timestamp) {          if (strpos( $oldline, "Time:") === 0 ) {            echo "$oldline<br/>";          }        }        echo "$line<br/>";      }      $oldline = $line;  }*/}?></font></td>