From 98bd590a5d1cebfd2e54311bfddb19bf36044a33 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Tue, 15 Sep 2009 17:40:26 -0400 Subject: [PATCH] [runDialog] Add 'debugexit' command There are few uses for being able to exit the shell directly; my current one is that the gtype debug infrastructure is implemented as an atexit() handler. --- js/ui/runDialog.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js index 0f97cb250..53315b45d 100644 --- a/js/ui/runDialog.js +++ b/js/ui/runDialog.js @@ -5,6 +5,7 @@ const Clutter = imports.gi.Clutter; const GLib = imports.gi.GLib; const Lang = imports.lang; const Mainloop = imports.mainloop; +const Meta = imports.gi.Meta; const Shell = imports.gi.Shell; const Signals = imports.signals; const Gettext = imports.gettext.domain('gnome-shell'); @@ -53,6 +54,10 @@ RunDialog.prototype = { // Developer brain backwards compatibility 'restart': Lang.bind(this, function() { global.reexec_self(); + }), + + 'debugexit': Lang.bind(this, function() { + Meta.exit(Meta.ExitCode.ERROR); }) };