摘要:
#!/bin/sh DUMP_PIDS=`ps --no-heading -C java -f --width 1000 |awk '{print $2}'`
if [ -z "$DUMP_PIDS" ]; then echo "The server $HOST_NAME is not started!" exit 1;
fi DUMP_ROOT=~/dump
if [ ! -d $DUMP_ROOT ]; then mkdir $DUMP_ROOT
fi DUMP_DATE=`date +%Y%m%d%H%M%S`
DUMP_DIR=$ 阅读全文