Files
2022-11-07 09:44:52 +08:00

36 lines
920 B
Bash
Executable File

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"