]> git.pld-linux.org Git - projects/pld-builder.new.git/commitdiff
Kill old processes before starting new build.
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 19 Mar 2018 17:24:18 +0000 (18:24 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Mon, 19 Mar 2018 17:24:18 +0000 (18:24 +0100)
PLD_Builder/rpm_builder.py

index 00ef336815e1cf4121610379ad2c6b08551f7a17..0353dcb23679986dbc282745989c61cafe57cec3 100644 (file)
@@ -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("""
This page took 0.279302 seconds and 4 git commands to generate.