[gnome-shell] OtherUsersDialog: don't show closing sessions

[Giovanni Campagna <gcampagna src gnome org>]

commit e6634c56d3b7111c7a2999a0e72d152791bc546f
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sat Mar 2 16:53:50 2013 +0100

    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 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index bb0ffb8..1f96968 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;