diff options
| author | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2004-08-12 12:53:19 (GMT) |
|---|---|---|
| committer | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2004-08-12 12:53:19 (GMT) |
| commit | bb18b811e8f1a4a939eadf28d12bc5f99dd74b82 (patch) | |
| tree | 96c3b47bbfb0ee3d28e46421e1317253ba052f01 /src/search.php | |
| parent | 6e8975abdb6b52477a5788bca969e13e467814dd (diff) | |
| download | Doxygen-bb18b811e8f1a4a939eadf28d12bc5f99dd74b82.zip Doxygen-bb18b811e8f1a4a939eadf28d12bc5f99dd74b82.tar.gz Doxygen-bb18b811e8f1a4a939eadf28d12bc5f99dd74b82.tar.bz2 | |
Release-1.3.8-20040812
Diffstat (limited to 'src/search.php')
| -rw-r--r-- | src/search.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/search.php b/src/search.php index bc4330d..cef406c 100644 --- a/src/search.php +++ b/src/search.php @@ -14,9 +14,9 @@ function readString($file) function readHeader($file) { - $header =fgetc($file); $header.=fgetc($file); - $header.=fgetc($file); $header.=fgetc($file); - return $header; + $header =fgetc($file); $header.=fgetc($file); + $header.=fgetc($file); $header.=fgetc($file); + return $header; } function computeIndex($word) @@ -284,7 +284,7 @@ function main() if (!in_array($word,$foundWords)) { $foundWords[]=$word; - search($file,$word,$results); + search($file,strtolower($word),$results); } $word=strtok(" "); } |