summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/README.md b/README.md
index da5f645..e6bb222 100644
--- a/README.md
+++ b/README.md
@@ -167,6 +167,10 @@ For most requests, the vast majority of code can be erased, dramatically speedin
The java service process will output a log file to stderr, which is visible in VSCode using View / Output, under "Java".
+## Debugging protocol
+
+When having problems connecting with your (non-VS Code) editor and nothing else helps, `scripts/debug_communications.sh` might help you verify whether the issue is with the language-server or elsewhere.
+
## Contributing
If you have npm and maven installed, you should be able to install locally using
@@ -175,4 +179,4 @@ If you have npm and maven installed, you should be able to install locally using
npm install
./scripts/build.sh
-At the time of this writing, the build only works on Mac, because of the way it uses JLink. However, it would be straightforward to fix this by changing `scripts/link_mac.sh` to be more like `scripts/link_windows.sh`. \ No newline at end of file
+At the time of this writing, the build only works on Mac, because of the way it uses JLink. However, it would be straightforward to fix this by changing `scripts/link_mac.sh` to be more like `scripts/link_windows.sh`.