From 435f9b1edcb572d0f376e50af0bd1668878b73a9 Mon Sep 17 00:00:00 2001
From: Martin Molinero <martin.molinero1@gmail.com>
Date: Thu, 26 Sep 2024 17:23:00 -0300
Subject: [PATCH] Minor fix for null returning commands

---
 lean/components/docker/docker_manager.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lean/components/docker/docker_manager.py b/lean/components/docker/docker_manager.py
index ac7ef3dd..87a142f3 100644
--- a/lean/components/docker/docker_manager.py
+++ b/lean/components/docker/docker_manager.py
@@ -506,8 +506,10 @@ def read_from_file(self, docker_container_name: str, docker_file: Path, interval
         if success:
             result = loads(output)
             success = result["Success"]
-            if not success:
+            if success is False:
                 error_message = "Rejected by Lean. Possible arguments error. Please check your logs and try again."
+            else:
+                success = True
         if not success and not error_message:
             error_message = f"Failed to read result from docker file {docker_file.name} within {timeout} seconds. This could be due to an action taking longer than expected. Run 'docker logs {docker_container_name}' for more information."