change kill to term signal for coverage flush.

This commit is contained in:
Shuduo Sang 2020-07-22 10:26:25 +08:00
parent 2867f30829
commit 2104d46586
1 changed files with 1 additions and 1 deletions

View File

@ -96,7 +96,7 @@ if __name__ == "__main__":
processID = subprocess.check_output(usePortPID, shell=True)
if processID:
killCmd = "kill -9 %s" % processID
killCmd = "kill -TERM %s" % processID
os.system(killCmd)
fuserCmd = "fuser -k -n tcp %d" % port
os.system(fuserCmd)