From 22061d14dcc9b7941e2a2582b6a95966ff2ad509 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Arkadiusz=20Mi=C5=9Bkiewicz?= Date: Mon, 19 Mar 2018 18:24:18 +0100 Subject: [PATCH] Kill old processes before starting new build. --- PLD_Builder/rpm_builder.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/PLD_Builder/rpm_builder.py b/PLD_Builder/rpm_builder.py index 00ef336..0353dcb 100644 --- a/PLD_Builder/rpm_builder.py +++ b/PLD_Builder/rpm_builder.py @@ -180,6 +180,10 @@ def build_rpm(r, b): return res b.log_line("started at: %s" % time.asctime()) + + b.log_line("killing old processes on a builder") + chroot.run("killall -91v"), logfile = b.logfile) + fetch_src(r, b) b.log_line("installing srpm: %s" % b.src_rpm) res = chroot.run(""" -- 2.44.0