From dd701049cd3e977f903c5f249935faa8eb797697 Mon Sep 17 00:00:00 2001
From: Michel Van den Bergh <michel.vandenbergh@uhasselt.be>
Date: Tue, 29 Aug 2023 09:24:51 +0000
Subject: [PATCH] Add log message to #1759.

---
 server/fishtest/rundb.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/server/fishtest/rundb.py b/server/fishtest/rundb.py
index 989d72fb1..7d12a7224 100644
--- a/server/fishtest/rundb.py
+++ b/server/fishtest/rundb.py
@@ -799,6 +799,7 @@ def priority(run):  # lower is better
                         my_name,
                         last_update,
                     )
+                    print(error, flush=True)
                     return {"task_waiting": False, "error": error}
 
         # We go through the list of active tasks to see if the worker