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."