How to use the lean-client-js-node.ProcessTransport function in lean-client-js-node
To help you get started, we’ve selected a few lean-client-js-node examples, based on popular ways it is used in public projects.
Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
leanprover / vscode-lean / src / server.ts View on Github 
this.hasLean = false;
}
} else {
this.hasLean = true;
}
}
this.workingDirectory = workspace.rootPath;
this.options = config.get('extraOptions') || [];
this.options.push('-M');
this.options.push('' + config.get('memoryLimit'));
this.options.push('-T');
this.options.push('' + config.get('timeLimit'));
this.transport = new ProcessTransport(
this.executablePath, this.workingDirectory, this.options);
super.connect();
this.restarted.fire(null);
} catch (e) {
this.requestRestart(e.message);
}
}lean-client-js-node
Interface to the Lean server
