mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-25 00:12:08 +08:00
Fix up tool source display for user tools
This commit is contained in:
@@ -633,7 +633,7 @@ class ToolsController(BaseGalaxyAPIController, UsesVisualizationMixin):
|
||||
raise exceptions.InsufficientPermissionsException(
|
||||
"Only administrators may display tool sources on this Galaxy server."
|
||||
)
|
||||
tool = self.service._get_tool(trans, id, user=trans.user, tool_version=kwds.get("tool_version"))
|
||||
tool = self.service._get_tool(trans, id, user=trans.user, tool_version=kwds.get("tool_version"), tool_uuid=id)
|
||||
trans.response.headers["language"] = tool.tool_source.language
|
||||
if dynamic_tool := getattr(tool, "dynamic_tool", None):
|
||||
if dynamic_tool.value.get("class") == "GalaxyUserTool":
|
||||
|
||||
Reference in New Issue
Block a user