diff options
Diffstat (limited to 'system/mandoc/cgi-search.patch')
| -rw-r--r-- | system/mandoc/cgi-search.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/mandoc/cgi-search.patch b/system/mandoc/cgi-search.patch index dd74be9ef..387e25dbd 100644 --- a/system/mandoc/cgi-search.patch +++ b/system/mandoc/cgi-search.patch @@ -24,7 +24,7 @@ manpage in mansearch.h) and skip them later. + } + + if (! results) { -+ pg_noresult(req, "No results found."); ++ pg_noresult(req, 404, "Not Found", "No results found."); return; } |