diff options
author | Ray Strode <rstrode@redhat.com> | 2016-07-20 11:43:45 -0400 |
---|---|---|
committer | Ray Strode <rstrode@redhat.com> | 2016-12-13 14:57:34 -0500 |
commit | 3d3b47b6d69fd1551c66468c379dc0e95c2e7dc4 (patch) | |
tree | f8fa343b93789adbfbce3630ead1445e90815ec1 | |
parent | 6ae733e46b189c1f47b04001d19479d0e06282dc (diff) | |
download | gdm-3d3b47b6d69fd1551c66468c379dc0e95c2e7dc4.tar.gz |
worker: kill process group when session exits
Send a hangup signal to the session pg when it exits, so things
have a chance to get cleaned up.
https://bugzilla.gnome.org/show_bug.cgi?id=776059
-rw-r--r-- | daemon/gdm-session-worker.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/daemon/gdm-session-worker.c b/daemon/gdm-session-worker.c index 7bbda49f..421ef028 100644 --- a/daemon/gdm-session-worker.c +++ b/daemon/gdm-session-worker.c @@ -1666,6 +1666,8 @@ session_worker_child_watch (GPid pid, worker->priv->service, status); + killpg (pid, SIGHUP); + worker->priv->child_pid = -1; worker->priv->child_watch_id = 0; run_script (worker, GDMCONFDIR "/PostSession"); |