From 54577cd9669c1054209800a524f8dcd0bfe944fc Mon Sep 17 00:00:00 2001
From: barrierye <barriery@qq.com>
Date: Mon, 22 Jun 2020 18:08:37 +0800
Subject: [PATCH] add sleep

---
 tools/serving_build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/serving_build.sh b/tools/serving_build.sh
index a9c09f61..8130f4d2 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() {
-- 
GitLab