pursIdeQuit
Gracefully shut down the PureScript IDE server and release its resources using the server's built-in quit command, ensuring a clean termination process.
Instructions
Gracefully shut down the IDE server and free up resources. PREREQUISITE: IDE server must be running. Same effect as stop_purs_ide_server but uses the server's built-in quit command first.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
No arguments |