diff -up gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c.power-button gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c --- gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c.power-button 2008-10-14 14:28:35.000000000 -0400 +++ gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c 2008-10-14 14:29:19.000000000 -0400 @@ -556,7 +556,7 @@ do_www_action (GsdMediaKeysManager *mana static void do_exit_action (GsdMediaKeysManager *manager) { - execute (manager, "gnome-session-save --kill", FALSE, FALSE); + execute (manager, "gnome-session-save --shutdown-dialog", FALSE, FALSE); } static void