3 this.onmessage = function(e) {
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)});
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);
20 var nextId = 0, pending = {};
21 function getFile(file, c) {
22 postMessage({type: "getFile", name: file, id: ++nextId});
26 function startServer(defs, plugins, scripts) {
27 if (scripts) importScripts.apply(null, scripts);
29 server = new tern.Server({
38 log: function(v) { postMessage({type: "debug", message: v}); }