From da22cca7904f7c067328f49e137362b0147c18d1 Mon Sep 17 00:00:00 2001 From: Marcin Krol Date: Sat, 2 Dec 2023 16:27:23 +0100 Subject: [PATCH] - don't kill processes, it intereferes with other builder chroots --- TLD_Builder/rpm_builder.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/TLD_Builder/rpm_builder.py b/TLD_Builder/rpm_builder.py index 562d3e4..dc06fff 100644 --- 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) -- 2.46.0