diff options
| author | Ray Strode <rstrode@redhat.com> | 2016-07-20 11:43:45 -0400 |
|---|---|---|
| committer | Ray Strode <rstrode@redhat.com> | 2017-03-01 10:56:32 -0500 |
| commit | 68af07c986c4f1747607e4bdc58cc9b4d2c56fab (patch) | |
| tree | f8fa343b93789adbfbce3630ead1445e90815ec1 | |
| parent | c8e73b4c56d80c998b48f93242c4587c595506d2 (diff) | |
| download | gdm-68af07c986c4f1747607e4bdc58cc9b4d2c56fab.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"); |