()
| 217 | } |
| 218 | |
| 219 | onError() { |
| 220 | this.localControl = true; |
| 221 | this.localEve = true; |
| 222 | |
| 223 | if(!this.ide) { |
| 224 | let path = (window.location.hash || "").slice(1) || "/examples/quickstart.eve";; |
| 225 | this._initProgram({config: {runtimeOwner: Owner.client, controlOwner: Owner.client, editor: true, path}, path: (window.location.hash || "").slice(1) || "/examples/quickstart.eve", code: "", workspaces: window["_workspaceCache"]}); |
| 226 | } else { |
| 227 | this.injectNotice("error", "Unexpectedly disconnected from the server. Please refresh the page."); |
| 228 | } |
| 229 | } |
| 230 | |
| 231 | onOpen() { |
| 232 | this.socketSend(JSON.stringify({type: "init", url: location.pathname, hash: location.hash.substring(1)})) |
no test coverage detected