X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=third-party%2Fcodemirror-3.15%2Faddon%2Ftern%2Fworker.js;fp=third-party%2Fcodemirror-3.15%2Faddon%2Ftern%2Fworker.js;h=0000000000000000000000000000000000000000;hb=31540dd504798e0aca69e10d8144fbedc5b16af8;hp=0164762f5995665124a7462336b6970da74a4816;hpb=937653fd70bbf7d95bcf870e7f2b46b4a8fec486;p=unfold.git

diff --git a/third-party/codemirror-3.15/addon/tern/worker.js b/third-party/codemirror-3.15/addon/tern/worker.js
deleted file mode 100644
index 0164762f..00000000
--- a/third-party/codemirror-3.15/addon/tern/worker.js
+++ /dev/null
@@ -1,39 +0,0 @@
-var server;
-
-this.onmessage = function(e) {
-  var data = e.data;
-  switch (data.type) {
-  case "init": return startServer(data.defs, data.plugins, data.scripts);
-  case "add": return server.addFile(data.name, data.text);
-  case "del": return server.delFile(data.name);
-  case "req": return server.request(data.body, function(err, reqData) {
-    postMessage({id: data.id, body: reqData, err: err && String(err)});
-  });
-  case "getFile":
-    var c = pending[data.id];
-    delete pending[data.id];
-    return c(data.err, data.text);
-  default: throw new Error("Unknown message type: " + data.type);
-  }
-};
-
-var nextId = 0, pending = {};
-function getFile(file, c) {
-  postMessage({type: "getFile", name: file, id: ++nextId});
-  pending[nextId] = c;
-}
-
-function startServer(defs, plugins, scripts) {
-  if (scripts) importScripts.apply(null, scripts);
-
-  server = new tern.Server({
-    getFile: getFile,
-    async: true,
-    defs: defs,
-    plugins: plugins
-  });
-}
-
-var console = {
-  log: function(v) { postMessage({type: "debug", message: v}); }
-};