From 3bbdb342bc8d92cb474629ec2b07e700e1afc80e Mon Sep 17 00:00:00 2001
From: Marcel Metz <mmetz@adrian-broher.net>
Date: Tue, 9 Apr 2013 14:44:45 +0200
Subject: [PATCH] Removing unnecessary line.

---
 utilities.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/utilities.js b/utilities.js
index b049192..3c0d9e9 100644
--- a/utilities.js
+++ b/utilities.js
@@ -167,7 +167,6 @@ const Future = new Lang.Class({
             new Gio.UnixInputStream({fd: stderr, close_fd: true}).close(null);
 
             this._childWatch = GLib.child_watch_add(GLib.PRIORITY_DEFAULT, pid, Lang.bind(this, function(pid, status, requestObj) {
-                Shell.util_wifexited(status);
                 GLib.source_remove(this._childWatch);
             }));