gnome-shell/js/gdm/consoleKit.js

// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-

const Gio = imports.gi.Gio;

const ConsoleKitManagerIface = <interface name='org.freedesktop.ConsoleKit.Manager'>
<method name='CanRestart'>
    <arg type='b' direction='out'/>
</method>
<method name='CanStop'>
    <arg type='b' direction='out'/>
</method>
<method name='Restart' />
<method name='Stop' />
</interface>;

const ConsoleKitProxy = Gio.DBusProxy.makeProxyWrapper(ConsoleKitManagerIface);

function ConsoleKitManager() {
    return new ConsoleKitProxy(Gio.DBus.system,
                               'org.freedesktop.ConsoleKit',
                               '/org/freedesktop/ConsoleKit/Manager');
};