Keep the error of a request that dies mid capture

The commit and diff pages collect each file's body before printing it,
and a die in git while one was collected wrote the error page into that
body, which was never sent, so the visitor got a page cut off mid table.

1 file changed, 2 insertions, 1 deletion

diff --git a/source/html.h b/source/html.hindex 56fcb7f..1960b6a 100644--- a/source/html.h+++ b/source/html.h@@ -27,7 +27,8 @@ extern void html(const char *txt); extern void html_flush(void);  /*- * Drop whatever page output is still buffered. For the die path only.+ * Drop whatever page output is still buffered and end any capture, so that+ * what follows reaches stdout. For the die path only.  */ extern void html_discard(void); 
diff --git a/source/html.h b/source/html.h
index 56fcb7f..1960b6a 100644
--- a/source/html.h
+++ b/source/html.h
@@ -27,7 +27,8 @@ extern void html(const char *txt);
 extern void html_flush(void);
 
 /*
- * Drop whatever page output is still buffered. For the die path only.
+ * Drop whatever page output is still buffered and end any capture, so that
+ * what follows reaches stdout. For the die path only.
  */
 extern void html_discard(void);