Limit the number of returned hits, Daniel
diff --git a/doc/search.php b/doc/search.php
index dd17c6d..94f5569 100644
--- a/doc/search.php
+++ b/doc/search.php
@@ -254,12 +254,16 @@
if ($nb > 0) {
printf("<table><tbody>\n");
printf("<tr><td>Quality</td><td>Symbol</td><td>Type</td><td>module</td><td>Description</td></tr>\n");
+ $i = 0;
while (list ($name, $val) = each ($results)) {
list($r,$t,$m,$d,$s,$u) = $val;
$m = str_replace("<", "<", $m);
$s = str_replace("<", "<", $s);
$d = str_replace("<", "<", $d);
echo "<tr><td>$r</td><td><a href='$u'>$s</a></td><td>$t</td><td>$m</td><td>$d</td></tr>";
+ $i = $i + 1;
+ if ($i > 75)
+ break;
}
printf("</tbody></table>\n");
}