[vscode-mlir] Add support for restarting the server on setting/server changes
authorRiver Riddle <riddleriver@gmail.com>
Mon, 28 Jun 2021 22:46:05 +0000 (22:46 +0000)
committerRiver Riddle <riddleriver@gmail.com>
Tue, 29 Jun 2021 00:08:44 +0000 (00:08 +0000)
commit473a21c0e9684b19016fd7367b28cc0ff12e928d
treeaf6e7335c027f2e1bbc5ae1fabcc73c5ed5c565b
parent8e66fc438463e8cf6fa05e88b51ce29b604ce307
[vscode-mlir] Add support for restarting the server on setting/server changes

This revision adds detection for changes to either the mlir-lsp-server binary or the setting, and prompts the user to restart the server. Whether the user gets prompted or not is a configurable setting in the extension, and this setting may updated based on the user response to the prompt.

Differential Revision: https://reviews.llvm.org/D104501
mlir/utils/vscode/package-lock.json
mlir/utils/vscode/package.json
mlir/utils/vscode/src/config.ts [new file with mode: 0644]
mlir/utils/vscode/src/configWatcher.ts [new file with mode: 0644]
mlir/utils/vscode/src/extension.ts
mlir/utils/vscode/src/mlirContext.ts [new file with mode: 0644]