From bf146c760628b8dba0cefc78048f8bd962346356 Mon Sep 17 00:00:00 2001
From: Martin Monperrus <martin.monperrus@gnieh.org>
Date: Wed, 3 Jul 2024 09:56:40 +0200
Subject: [PATCH] change soft 404 nito hard 404

---
 bibtexbrowser.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bibtexbrowser.php b/bibtexbrowser.php
index 17773a4..115c884 100755
--- a/bibtexbrowser.php
+++ b/bibtexbrowser.php
@@ -3398,6 +3398,7 @@ function nonExistentBibEntryError() {
 /** handles queries with no result */
 class NotFoundDisplay {
   function display() {
+    header('HTTP/1.1 404 Not found');
     echo '<span class="count">'.__('Sorry, no results for this query').'</span>';
   }
 }