pid=$(ps -ef | grep h2.sh | grep -v ag | grep -v grep | awk '{print $2}') if [ "$pid" != "" ]; then echo "\n\033[1;32mh2.sh($pid) has been killed\033[0m" kill -9 $pid fi pid=$(ps -ef | grep org.h2.tools.Console | grep -v ag | grep -v grep | awk '{print $2}') if [ "$pid" != "" ]; then echo "\033[1;32mh2.console($pid) has been killed\033[0m" kill -9 $pid fi # h2 > /dev/null & # pid=$(ps -ef | grep h2.sh | grep -v ag | grep -v grep | awk '{print $2}') # echo "\033[1;32mh2($pid) started \033[0m\n" pid=$(ps -ef | grep redis-server | grep -v ag | grep -v grep | awk '{print $2}') if [ "$pid" != "" ]; then echo "\033[1;32mredis-server($pid) has been killed\033[0m" kill -9 $pid fi echo "" # redis-server /usr/local/etc/redis.conf > /dev/null & # pid=$(ps -ef | grep redis-server | grep -v ag | grep -v grep | awk '{print $2}') # echo "\033[1;32mredis-server($pid) started \033[0m\n"