1 files changed, 0 insertions, 4 deletions
diff --git a/util/kill b/util/kill
deleted file mode 100755
index e82f822..0000000
--- a/util/kill
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain|truecase.perl)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done
-