diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2004-08-12 12:53:19 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2004-08-12 12:53:19 (GMT) |
| commit | edeb82c1e0cebe5437fb637c9d239a8cecfca0cb (patch) | |
| tree | 96c3b47bbfb0ee3d28e46421e1317253ba052f01 /src/search.php | |
| parent | f4bab88acea24b261d85d25359c73cbb49869c5f (diff) | |
| download | Doxygen-edeb82c1e0cebe5437fb637c9d239a8cecfca0cb.zip Doxygen-edeb82c1e0cebe5437fb637c9d239a8cecfca0cb.tar.gz Doxygen-edeb82c1e0cebe5437fb637c9d239a8cecfca0cb.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(" "); } |