blob: 7e49bab409ed0f8622d42d1f05967ce0df87d9c6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
var socket = (function(){
var open = false
var shadowBody = null
var bootSnippet = "<bootSnippet>"
window.onload = function(){
shadowBody = document.body.cloneNode()
}
window.addEventListener("keydown", function (event) {
if(event.keyCode==13 && event.ctrlKey && event.altKey && event.shiftKey) {
clear()
eval(bootSnippet)
}
})
function clear(){
document.body = shadowBody.cloneNode()
for(var i = 0; i < 99999; i++){
clearTimeout(i)
clearInterval(i)
}
}
var start = function(){
socket = new WebSocket("ws://<host>:<port>/")
socket.onopen = function(event){
open = true
console.log("scala-js-workbench connected")
}
socket.onmessage = function(event){
var data = JSON.parse(event.data)
if (data[0] == "reload") {
console.log("Reloading page...")
location.reload()
}
if (data[0] == "clear"){
clear()
}
if (data[0] == "run"){
var tag = document.createElement("script")
var loaded = false
console.log("Rerunning Script... " + data[1])
tag.setAttribute("src", data[1])
if (data[2]){
tag.onreadystatechange = tag.onload = function() {
if (!loaded) eval(data[2]);
loaded = true;
};
}
document.head.appendChild(tag)
}
if (data[0] == "boot"){
eval(bootSnippet)
}
if (data[0] == "print") console[data[1]](data[2])
}
socket.onclose = function(event){
if (open) console.log("scala-js-workbench disconnected")
open = false
setTimeout(function(){start()}, 1000)
}
}
start()
return socket
})()
|
