]> git.ipfire.org Git - pakfire.git/commitdiff
builder: Remove pids from list of running jobs when job has finished.
authorMichael Tremer <michael.tremer@ipfire.org>
Sun, 3 Feb 2013 20:36:00 +0000 (21:36 +0100)
committerMichael Tremer <michael.tremer@ipfire.org>
Sun, 3 Feb 2013 20:36:00 +0000 (21:36 +0100)
python/pakfire/client/builder.py

index 9798cc48e3e413d0ac2b929c59089306b5650e5c..2d6280cc47a5c682ff2e82279e51339c3310b3b3 100644 (file)
@@ -251,6 +251,8 @@ class PakfireDaemon(object):
 
                                        # Finally, remove the process from the process list.
                                        self.processes.remove(process)
+                                       if self.pid2jobid.has_key(process.id):
+                                               del self.pid2jobid[process.id]
 
                        return ret
 
@@ -274,7 +276,6 @@ class PakfireDaemon(object):
                        for process in self.processes[:]:
                                job_id = self.pid2jobid.get(process.pid, None)
                                if job_id and job_id in aborted_jobs:
-
                                        # Kill the process.
                                        log.info("Killing process %s which was aborted by the user." \
                                                % process.pid)
@@ -283,6 +284,8 @@ class PakfireDaemon(object):
                                        # Remove the process from the process list to avoid
                                        # that is will be cleaned up in the normal way.
                                        self.processes.remove(process)
+                                       if self.pid2jobid.has_key(process.id):
+                                               del self.pid2jobid[process.id]
 
                        return True