Method getProxy

www/js/ext/socket.js:124–171

(timeout)

      }
      var socket = new WebSocket(parseUrl(url.evalStatically()));
      function getProxy(timeout) {
        return new Proxy(
          {},
          {
            get: function(obj, property) {
              if (PROXY_BLACKLIST.includes(property)) {
                return null;
              } else if (property === "noTimeout") {
                return getProxy(-1);
              } else if (property === "timeout") {
                return function(i) {
                  return getProxy(parseInt(i));
                };
              } else {
                return function() {
                  var uuid = genUUID();
                  var args = [];
                  for (var i = 0; i < arguments.length; i++) {
                    args.push(arguments[i]);
                  }
                  var rpcInfo = {
                    iid: uuid,
                    function: property,
                    args
                  };
                  socket = socket ? socket : new WebSocket(parseUrl(url.evalStatically()));
                  socket.send(JSON.stringify(rpcInfo));
                  var promise = new Promise(function(resolve, reject) {
                    promises[uuid] = {
                      resolve,
                      reject
                    };
                  });
                  if (timeout >= 0) {
                    setTimeout(function() {
                      if (promises[uuid]) {
                        promises[uuid].reject("Timed out");
                      }
                      delete promises[uuid];
                    }, timeout);
                  }
                  return promise;
                };
              }
            }
          }
        );
      }
      var rpcProxy = getProxy(defaultTimeout);
      var socketObject = {
        raw: socket,