#!/bin/bash

BASE_DIR=$(dirname $0)
if [ $BASE_DIR == "." ] ; then
    SCRIPT_DIR=$(pwd)
else
    SCRIPT_DIR=$(pwd)/$BASE_DIR
fi
. $SCRIPT_DIR/env.sh

ps -ef | grep java | grep "server=$SERVER" | awk {'print "kill -9 " $2'} | sh -x
