diff options
| -rwxr-xr-x | script/autobuild.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 3fae59f255..357cb16b5b 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -278,7 +278,6 @@ def write_pidfile(fname): f = open(fname, mode='w') f.write("%u\n" % os.getpid()) f.close() - cleanup_list.append(fname) def rebase_tree(url): @@ -473,6 +472,8 @@ while True: cleanup() raise +cleanup_list.append(gitroot + "/autobuild.pid") + blist.kill_kids() if options.tail: print("waiting for tail to flush") |