Follow-up Comment #4, bug #60782 (project groff):

diff --git a/src/preproc/html/pre-html.cpp b/src/preproc/html/pre-html.cpp
index a3e09db04..d111b9e6c 100644
--- a/src/preproc/html/pre-html.cpp
+++ b/src/preproc/html/pre-html.cpp
@@ -1414,6 +1414,8 @@ int char_buffer::run_output_filter(int filter, int argc,
char **argv)
 
     if (WAIT(&status, child_pid, _WAIT_CHILD) != child_pid)
       sys_fatal("wait");
+    if (WEXITSTATUS(status) != 0)
+      fatal("'%1' exited with status %2", argv[0], WEXITSTATUS(status));
   }
 
 #elif MAY_SPAWN_ASYNCHRONOUS_CHILD
@@ -1481,6 +1483,8 @@ int char_buffer::run_output_filter(int filter, int argc,
char **argv)
 
   if (WAIT(&status, child_pid, _WAIT_CHILD) != child_pid)
     sys_fatal("wait");
+  if (WEXITSTATUS(status) != 0)
+    fatal("'%1' exited with status %2", argv[0], WEXITSTATUS(status));
 
 #else /* can't do asynchronous pipes! */
 



    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60782>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/


Reply via email to