[gdm: 4/4] Merge branch 'wip/kill-user-session' into 'master'

[Ray Strode <halfline src gnome org>]

commit 3cdfc557e003f921c0dcf47811dd53b51a925f5a
Merge: d461213b 3e822092
Author: Ray Strode <halfline gmail com>
Date:   Fri Jun 28 13:42:09 2019 +0000

    Merge branch 'wip/kill-user-session' into 'master'
    
    session-worker: kill user sessions when stopping gdm service
    
    Closes #400
    
    See merge request GNOME/gdm!74

 daemon/Makefile.am                        | 14 ++++++++
 daemon/gdm-session-worker-enum-types.c.in | 42 +++++++++++++++++++++++
 daemon/gdm-session-worker-enum-types.h.in | 24 +++++++++++++
 daemon/gdm-session-worker.c               | 57 ++++++++++++++++++++-----------
 daemon/gdm-session-worker.h               | 12 +++++++
 daemon/session-worker-main.c              | 33 ++++++++++++++++++
 6 files changed, 162 insertions(+), 20 deletions(-)
---