- don't kill processes, it intereferes with other builder chroots

diff --git a/TLD_Builder/rpm_builder.py b/TLD_Builder/rpm_builder.py
index 562d3e4dee2f3991fb15e6a715c456e4244ad547..dc06fff57f7d70e876ae046025e977ca8f8698aa 100644 (file)
--- a/TLD_Builder/rpm_builder.py
+++ b/TLD_Builder/rpm_builder.py
@@ -186,9 +186,6 @@ def build_rpm(r, b):
 
     b.log_line("started at: %s" % time.asctime())
 
-    b.log_line("killing old processes on a builder")
-    chroot.run("/bin/kill --verbose -9 -1", logfile = b.logfile)
-
     b.log_line("cleaning up /tmp")
     chroot.run("rm -rf /tmp/B.*", logfile = b.logfile)