lint

galaxyproject · Nov 2, 2023 · 35f8a75 · 35f8a75
1 parent ef15448
commit 35f8a75
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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)