Merge pull request #42920 from cachedout/pid_race

pid_race
This commit is contained in:
Mike Place 2017-08-14 21:49:09 -06:00 committed by GitHub
commit a1817f1de3

View File

@ -130,8 +130,10 @@ def get_pidfile(pidfile):
'''
with salt.utils.fopen(pidfile) as pdf:
pid = pdf.read()
if pid:
return int(pid)
else:
return
def clean_proc(proc, wait_for_kill=10):