From 5e5f39f13cb3e33bac2d19f90a4bbf7e4f9ee24a Mon Sep 17 00:00:00 2001
From: Alex Wiens <alex.wiens@uni-paderborn.de>
Date: Thu, 13 Feb 2025 16:28:49 +0100
Subject: [PATCH] Prule.daemon: Fix old cleanup bug
---
prule/daemon/__main__.py | 2 --
1 file changed, 2 deletions(-)
diff --git a/prule/daemon/__main__.py b/prule/daemon/__main__.py
index c822325..58d7765 100644
--- a/prule/daemon/__main__.py
+++ b/prule/daemon/__main__.py
@@ -786,8 +786,6 @@ class PruleThread(threading.Thread):
if job_tempdir != None:
job_tempdir.cleanup()
- with self.stopCondition:
- self.currentProcess = None
return process_result
def run(self):
if self.config.config["CACHE_DB"] == True:
--
GitLab