From 9c5eda343ab0f95ba2bd9f13deee291b03a777a3 Mon Sep 17 00:00:00 2001 From: Stefano Mazzocchi Date: Thu, 16 Sep 2010 22:00:54 +0000 Subject: [PATCH] last of the bashisms (hopefully) git-svn-id: http://google-refine.googlecode.com/svn/trunk@1268 7d457c2a-affb-35e4-300a-418c747d4874 --- gridworks | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gridworks b/gridworks index 5288a618c..4025f02dc 100755 --- a/gridworks +++ b/gridworks @@ -554,7 +554,7 @@ ui_test() { echo "" echo "Killing Gridworks" - kill -9 $GRIDWORKS_PID + /bin/kill -9 $GRIDWORKS_PID echo "Cleaning up" rm -rf $GRIDWORKS_DATA_DIR }