Fix handling + encoding of spaces in tool names

2026-09-24 16:30:27 +08:00 · 2022-07-21 12:30:57 +02:00
parent fd2dbf51ee
commit 11f511feac
1 changed files with 1 additions and 1 deletions
@@ -138,7 +138,7 @@
                        if (tool_id === "upload1" || tool_id === "upload") {
                            document.getElementById("tool-panel-upload-button").click();
                        } else {
-                            Galaxy.router.push("/", { tool_id: tool_id });
+                            Galaxy.router.push("/", { tool_id: encodeURI(tool_id) });
                        }
                        removeOverlay();
                    });