diff --git a/python/paddle_serving_server/web_service.py b/python/paddle_serving_server/web_service.py index a87875f0f12dd2ca438a9bcd1b816fa33e4b8375..953e870c86624c300b67faae330597659fbcaf34 100755 --- a/python/paddle_serving_server/web_service.py +++ b/python/paddle_serving_server/web_service.py @@ -262,6 +262,7 @@ class WebService(object): self.runtime_thread_num = runtime_thread_num self.batch_infer_size = batch_infer_size + # record port and pid info for stopping process dump_pid_file([self.port], "web_service") # if gpuid != None, we will use gpuid first.