1
# Description: let the logout key do what it's supposed to do
2
# Ubuntu: https://launchpad.net/bugs/961501
3
# Upstream: https://bugzilla.gnome.org/show_bug.cgi?id=671979
5
# plugins/media-keys/gsd-media-keys-manager.c | 8 +++++++-
6
# 1 file changed, 7 insertions(+), 1 deletion(-)
8
--- a/plugins/media-keys/gsd-media-keys-manager.c
9
+++ b/plugins/media-keys/gsd-media-keys-manager.c
10
@@ -940,6 +940,12 @@ gnome_session_shutdown (GsdMediaKeysMana
14
+do_logout_action (GsdMediaKeysManager *manager)
16
+ execute (manager, "gnome-session-quit --logout", FALSE);
20
do_eject_action_cb (GDrive *drive,
22
GsdMediaKeysManager *manager)
23
@@ -2335,7 +2341,7 @@ do_action (GsdMediaKeysManager *manager,
24
SOUND_ACTION_FLAG_IS_OUTPUT | SOUND_ACTION_FLAG_IS_PRECISE);
27
- gnome_session_shutdown (manager);
28
+ do_logout_action (manager);
31
do_eject_action (manager);