diff --git a/tools/serving_build.sh b/tools/serving_build.sh index a9c09f6123597372705a257a19aadf383a666342..8130f4d25a6118710f4825a3e24782daf4029919 100644 --- a/tools/serving_build.sh +++ b/tools/serving_build.sh @@ -134,6 +134,7 @@ function build_server() { function kill_server_process() { ps -ef | grep "serving" | grep -v serving_build | grep -v grep | awk '{print $2}' | xargs kill + sleep 1 } function python_test_fit_a_line() {