diff options
author | Wolfram Schneider <wosch@FreeBSD.org> | 2023-09-17 10:51:21 +0000 |
---|---|---|
committer | Wolfram Schneider <wosch@FreeBSD.org> | 2023-09-17 10:51:21 +0000 |
commit | 98024624ee35551b5a741d33b3bd333f3639e4f1 (patch) | |
tree | f2257e9ff00ea7175674e2218b737c616d31cdb9 | |
parent | 7d254c8aabca7a96cb9375490b89b5291f9376ad (diff) | |
download | doc-98024624ee35551b5a741d33b3bd333f3639e4f1.tar.gz doc-98024624ee35551b5a741d33b3bd333f3639e4f1.zip |
show number of hits
-rwxr-xr-x | website/content/en/cgi/ports.cgi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi index 099630b01f..742c727fcb 100755 --- a/website/content/en/cgi/ports.cgi +++ b/website/content/en/cgi/ports.cgi @@ -611,8 +611,10 @@ You may look for other <a href="https://www.freebsd.org/search/">FreeBSD Search </p> EOF } + else { print "</dl>\n"; + print "<p>Number of hits: $counter\n</p>\n"; print &footer_links; } |