# HG changeset patch
# User Jan Dj¸«£rv <jan.h.d@swipnet.se>
# Date 1075160408 0
# Node ID 811d720ddd2b2ca65b7c2450d70a27def82f88ed
# Parent  77ad9650fc558c38f75ea90ee7c8f796847820d8
(mkdir, rmdir): Also check synch_process_termsig.

diff -r 77ad9650fc55 -r 811d720ddd2b src/sysdep.c
--- a/src/sysdep.c	Mon Jan 26 23:39:50 2004 +0000
+++ b/src/sysdep.c	Mon Jan 26 23:40:08 2004 +0000
@@ -3741,7 +3741,8 @@
       wait_for_termination (cpid);
     }
 
-  if (synch_process_death != 0 || synch_process_retcode != 0)
+  if (synch_process_death != 0 || synch_process_retcode != 0
+      || synch_process_termsig != 0)
     {
       errno = EIO;		/* We don't know why, but */
       return -1;		/* /bin/mkdir failed */
@@ -3787,7 +3788,8 @@
       wait_for_termination (cpid);
     }
 
-  if (synch_process_death != 0 || synch_process_retcode != 0)
+  if (synch_process_death != 0 || synch_process_retcode != 0
+      || synch_process_termsig != 0)
     {
       errno = EIO;		/* We don't know why, but */
       return -1;		/* /bin/rmdir failed */