script for kill jetty

pghosh · Aug 24, 2012 · 90d296d · 90d296d
1 parent 90836f7
commit 90d296d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/aliases b/aliases
@@ -107,4 +107,4 @@ shard() {
     mongo is $SLI_HOME/config/indexes/is_indexes.js
   fi
 }
-alias kill-jetty="ps -ef|grep rackup|grep -v grep|awk '{print $2}'|xargs kill -9"
+alias kill-jetty="ps -ef|grep jetty|grep -v grep|awk '{print $2}'|xargs kill -9"