From 7fb308ec1ec8c24d2299320d0c9d367fea82e734 Mon Sep 17 00:00:00 2001
From: Alex Wiens <alex.wiens@uni-paderborn.de>
Date: Thu, 13 Feb 2025 16:37:36 +0100
Subject: [PATCH] Prule: Small bug fix
---
prule/__main__.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/prule/__main__.py b/prule/__main__.py
index 3da3bdc..89b0a89 100644
--- a/prule/__main__.py
+++ b/prule/__main__.py
@@ -381,7 +381,7 @@ if __name__ == "__main__":
job_error = False
rule_error = False
output_all_jobs = []
- while len(jobs)>0 or "job_stdin" in args:
+ while len(job_queue)>0 or "job_stdin" in args:
job = None
if "job_stdin" in args:
job = stdin_readjob()
--
GitLab