File gnome-settings-daemon-bnc442412-ctrl-alt-del.patch of Package gnome-settings-daemon

--- trunk/plugins/media-keys/gsd-media-keys-manager.c	2008/04/13 10:40:01	306
+++ trunk/plugins/media-keys/gsd-media-keys-manager.c	2008/10/15 20:53:40	556
@@ -556,7 +556,7 @@
 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