diff options
Diffstat (limited to 'workbench_template.js')
| -rw-r--r-- | workbench_template.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/workbench_template.js b/workbench_template.js index 1eacd31..a16e638 100644 --- a/workbench_template.js +++ b/workbench_template.js @@ -42,7 +42,9 @@ if (data[0] == "run"){ var tag = document.createElement("script") var loaded = false - tag.setAttribute("src", "http://<host>:<port>" + data[1]) + + tag.setAttribute("src", data[1]) + var bootSnippet = data[2] if (bootSnippet){ tag.onreadystatechange = tag.onload = function() { |