1 files changed, 0 insertions, 15 deletions
diff --git a/tools/exit.js b/tools/exit.js
deleted file mode 100644
index 4dd7141b..00000000
--- a/tools/exit.js
+++ /dev/null
@@ -1,15 +0,0 @@
-// workaround for tty output truncation upon process.exit()
-var exit = process.exit;
-process.exit = function() {
-    var args = [].slice.call(arguments);
-    process.once("uncaughtException", function() {
-        (function callback() {
-            if (process.stdout.bufferSize || process.stderr.bufferSize) {
-                setTimeout(callback, 1);
-            } else {
-                exit.apply(process, args);
-            }
-        })();
-    });
-    throw exit;
-};