diff options
| author | Andrew Tridgell <tridge@samba.org> | 2010-10-21 20:41:06 +1100 |
|---|---|---|
| committer | Andrew Tridgell <tridge@samba.org> | 2010-10-21 20:56:38 +1100 |
| commit | 6120ef9f9e76c417cc105db8be3834516312a9eb (patch) | |
| tree | 7f7a81da2fe34eaa6d71081773d5dc043a7a7590 /script | |
| parent | 4fa0ceb7517de755b20179f2728532811f62c845 (diff) | |
| download | samba-6120ef9f9e76c417cc105db8be3834516312a9eb.tar.gz samba-6120ef9f9e76c417cc105db8be3834516312a9eb.tar.bz2 samba-6120ef9f9e76c417cc105db8be3834516312a9eb.zip | |
autobuild: don't cleanup the pid file within the retry loop
if we rebase and retry we need to keep the pid file
Diffstat (limited to 'script')
| -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") |