From 35f8a7568f18aadcaf26ca8e48802b216462c611 Mon Sep 17 00:00:00 2001 From: paulzierep Date: Thu, 2 Nov 2023 22:01:56 +0100 Subject: [PATCH] lint --- bin/extract_galaxy_tools.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/extract_galaxy_tools.py b/bin/extract_galaxy_tools.py index 4e786609..cc11bda9 100644 --- a/bin/extract_galaxy_tools.py +++ b/bin/extract_galaxy_tools.py @@ -385,7 +385,9 @@ def get_tool_count_per_server(tool_ids: str) -> pd.Series: if isinstance(tool_ids, str): series = pd.Series({key: None for key in GALAXY_SERVER_URLS}) else: - tool_id_list = [x.strip(" ") for x in tool_ids.split(",")] + tool_id_list: list = [] + for x in tool_ids.split(","): + tool_id_list.append(x.strip(" ")) data = check_tools_on_servers(tool_id_list) result_df: pd.DataFrame = pd.DataFrame() result_df["true_count"] = data.sum(axis=1).astype(str)