From e6634c56d3b7111c7a2999a0e72d152791bc546f Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Sat, 2 Mar 2013 16:53:50 +0100
Subject: [PATCH] OtherUsersDialog: don't show closing sessions

It is possible that a session survives after closing, if any processes
(usually PulseAudio and GConf) are still alive at the end. In that case,
ignore it, as the user is already logged out and there is nothing to lose.

https://bugzilla.gnome.org/show_bug.cgi?id=695002
---
 js/ui/userMenu.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index bb0ffb85c..1f9696852 100644
--- a/js/ui/userMenu.js
+++ b/js/ui/userMenu.js
@@ -52,6 +52,7 @@ const SystemdLoginSessionIface = <interface name='org.freedesktop.login1.Session
     <property name="Remote" type="b" access="read"/>
     <property name="Class" type="s" access="read"/>
     <property name="Type" type="s" access="read"/>
+    <property name="State" type="s" access="read"/>
 </interface>;
 
 const SystemdLoginSession = Gio.DBusProxy.makeProxyWrapper(SystemdLoginSessionIface);
@@ -961,6 +962,9 @@ const UserMenuButton = new Lang.Class({
                         if (proxy.Class != 'user')
                             continue;
 
+                        if (proxy.State == 'closing')
+                            continue;
+
                         if (proxy.Id == GLib.getenv('XDG_SESSION_ID'))
                             continue;