(defs, plugins, scripts)
| 29 | } |
| 30 | |
| 31 | function startServer(defs, plugins, scripts) { |
| 32 | if (scripts) importScripts.apply(null, scripts); |
| 33 | |
| 34 | server = new tern.Server({ |
| 35 | getFile: getFile, |
| 36 | async: true, |
| 37 | defs: defs, |
| 38 | plugins: plugins |
| 39 | }); |
| 40 | } |
| 41 | |
| 42 | this.console = { |
| 43 | log: function(v) { postMessage({type: "debug", message: v}); } |