7204N/A--- gnome-shell-3.18.0/js/misc/loginManager.js Mon Nov 2 12:49:09 2015
7204N/A+++ gnome-shell-3.18.0/js/misc/loginManager.js Mon Nov 2 12:51:59 2015
7204N/A const SystemdLoginManager = Gio.DBusProxy.makeProxyWrapper(SystemdLoginManagerIface);
7204N/A const SystemdLoginSession = Gio.DBusProxy.makeProxyWrapper(SystemdLoginSessionIface);
7204N/A+<interface name="org.freedesktop.ConsoleKit.Manager"> \
7204N/A+<interface name="org.freedesktop.ConsoleKit.Session"> \
7204N/A+const ConsoleKitSession = Gio.DBusProxy.makeProxyWrapper(ConsoleKitSessionIface);
7204N/A+const ConsoleKitManager = Gio.DBusProxy.makeProxyWrapper(ConsoleKitManagerIface);
7204N/A let version = result.deep_unpack()[0].deep_unpack();
7204N/A-const LoginManagerDummy = new Lang.Class({
7204N/A+const LoginManagerConsoleKit = new Lang.Class({
7204N/A+ this._proxy = new ConsoleKitManager(Gio.DBus.system,
7204N/A+ // Lock/Unlock signals, and that's all we count upon at the moment.
7204N/A+ this._currentSession = new ConsoleKitSession(Gio.DBus.system,