docs: function() {
          if (! worker) return Promise.resolve();
          return this.send({close: true}).then(function(success) {
            server.terminate(new Error("Worker " + workerId + " closed"));
            return success;
          });
        }