diff --git a/doc/BERT_10_MINS.md b/doc/BERT_10_MINS.md index e668b3207c5228309d131e2353e815d26c8d4625..71f6f065f4101aae01e077910fc5b6bd6b039b46 100644 --- a/doc/BERT_10_MINS.md +++ b/doc/BERT_10_MINS.md @@ -102,4 +102,5 @@ if [[ $? -eq 0 ]]; then else echo "test fail" fi +ps -ef | grep "paddle_serving_server" | grep -v grep | awk '{print $2}' | xargs kill -->