| 1 |
var server; |
| 2 |
|
| 3 |
this.onmessage = function(e) { |
| 4 |
var data = e.data; |
| 5 |
switch (data.type) { |
| 6 |
case "init": return startServer(data.defs, data.plugins, data.scripts); |
| 7 |
case "add": return server.addFile(data.name, data.text); |
| 8 |
case "del": return server.delFile(data.name); |
| 9 |
case "req": return server.request(data.body, function(err, reqData) { |
| 10 |
postMessage({id: data.id, body: reqData, err: err && String(err)}); |
| 11 |
}); |
| 12 |
case "getFile": |
| 13 |
var c = pending[data.id]; |
| 14 |
delete pending[data.id]; |
| 15 |
return c(data.err, data.text); |
| 16 |
default: throw new Error("Unknown message type: " + data.type); |
| 17 |
} |
| 18 |
}; |
| 19 |
|
| 20 |
var nextId = 0, pending = {}; |
| 21 |
function getFile(file, c) { |
| 22 |
postMessage({type: "getFile", name: file, id: ++nextId}); |
| 23 |
pending[nextId] = c; |
| 24 |
} |
| 25 |
|
| 26 |
function startServer(defs, plugins, scripts) { |
| 27 |
if (scripts) importScripts.apply(null, scripts); |
| 28 |
|
| 29 |
server = new tern.Server({ |
| 30 |
getFile: getFile, |
| 31 |
async: true, |
| 32 |
defs: defs, |
| 33 |
plugins: plugins |
| 34 |
}); |
| 35 |
} |
| 36 |
|
| 37 |
var console = { |
| 38 |
log: function(v) { postMessage({type: "debug", message: v}); } |
| 39 |
}; |
| 40 |
|
