+### Gnome session care and feeding.
+
+session-running-p () {
+ dbus-send --session --print-reply --dest=org.freedesktop.DBus / \
+ org.freedesktop.DBus.GetNameOwner string:org.gnome.SessionManager \
+ >/dev/null 2>&1
+}
+
+dbus-service-running-p () {
+ dbus-send >/dev/null 2>&1 --session --print-reply \
+ --dest=org.freedesktop.DBus / \
+ org.freedesktop.DBus.GetNameOwner string:$1
+}
+
+kill-gnome-session () {
+ win=nil
+ while read service object logout; do
+ if dbus-service-running-p $service; then win=t; break; fi
+ done <<EOF
+org.xfce.SessionManager /org/xfce/SessionManager org.xfce.Session.Manager.Shutdown uint32:1 boolean:false
+org.gnome.SessionManager /org/gnome/SessionManager org.gnome.SessionManager.Logout uint32:2
+EOF
+ case $win in nil) return ;; esac
+ info "killing session manager"
+ dbus-send --session --dest=$service $object $logout
+ for i in 1 2 3 4 5; do
+ sleep 1
+ if ! dbus-service-running-p $service; then break; fi
+ done
+}
+
+###--------------------------------------------------------------------------