d7eb855
Fix bug #607738 since Vincent confirmed the fix for #607658 is going into gnome-session. No longer kill gnome-session process group when the user logs in. Now kill just gnome-session and let it safely exi.