diff options
Diffstat (limited to 'winsup/cygwin/dcrt0.cc')
| -rw-r--r-- | winsup/cygwin/dcrt0.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/winsup/cygwin/dcrt0.cc b/winsup/cygwin/dcrt0.cc index c23f1dbc0..8e6098b0e 100644 --- a/winsup/cygwin/dcrt0.cc +++ b/winsup/cygwin/dcrt0.cc @@ -1024,7 +1024,7 @@ do_exit (int status) set_console_title (old_title); /* Kill orphaned children on group leader exit */ - if (myself->pid == myself->pgid) + if (myself->has_pgid_children && myself->pid == myself->pgid) { system_printf ("%d == pgrp %d, send SIG{HUP,CONT} to stopped children", myself->pid, myself->pgid); @@ -1041,7 +1041,7 @@ do_exit (int status) myself->pid, myself->sid); if (tp->getsid () == myself->sid) - kill (-tp->getpgid (), SIGHUP); + kill_pgrp (tp->getpgid (), SIGHUP); } tty_terminate (); |