Fix error message reporting deleted annotation.

mysociety · Feb 19, 2021 · 9a2abbe · 9a2abbe
1 parent 2a442a7
commit 9a2abbe
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/www/docs/report/index.php b/www/docs/report/index.php
@@ -20,7 +20,10 @@
 
     if ($COMMENT->exists() == false || !$COMMENT->visible()) {
         // This comment id didn't exist in the DB.
-        trigger_error("There is no annotation with an ID of '" . _htmlentities($comment_id) . "'.", E_USER_NOTICE);
+        $PAGE->error_message("There is no annotation with that ID");
+        $PAGE->stripe_end();
+        $PAGE->page_end();
+        exit;
     }
 
     // OK, we've got a valid comment ID.