Giter VIP home page Giter VIP logo

coc-lsp-wl's People

Contributors

dependabot[bot] avatar voldikss avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

coc-lsp-wl's Issues

Dangling WolframKernel instances

When I close (Neo)Vim, the WolframKernel instance started by the editor is left dangling when the editor is closed. The WolframKernel instances keep accumulating and the fix I know of is to killall -9.

I've asked whether the plugin has to do something in particular to close the instances in this original issue:

Connection to server got closed. Server will restart.

Hi, I'm on Linux and I'm trying coc-lsp-wl but I'm only getting "Connection to server got closed. Server will restart." in :CocInfo.

Output: https://gist.github.com/oblitum/4e8489a0205ec49650046a005c9f9c7f

I also often get the following on subsequent :CocInfo

## Output channel: lsp-wl

[Error  - 5:41:20 PM] Connection to server is erroring. Shutting down server.
[Trace - 5:41:20 PM] Sending request 'shutdown - (1)'.
[Error  - 5:41:20 PM] Connection to server is erroring. Shutting down server.
[Error  - 5:41:20 PM] Connection to server is erroring. Shutting down server.
[Error  - 5:41:20 PM] Connection to server is erroring. Shutting down server.
[Error  - 5:41:20 PM] Connection to server is erroring. Shutting down server.

Starting client failed: RangeError [ERR_SOCKET_BAD_PORT]: Port should be >= 0 and < 65536. Received NaN.

The client isn't starting from what seems like a syntax problem, title contains the error. Output of CocInfo and relevant coc-settings are below.

versions

vim version: NVIM v0.4.2
node version: v12.10.0
coc.nvim version: 0.0.74
term: rxvt-unicode-256color
platform: linux

Messages

[coc.nvim] Server Wolfram Language Server failed to start: Port should be >= 0 and < 65536. Received NaN.

Output channel: lsp-wl

[Error - 8:56:50 AM] Starting client failed:
RangeError [ERR_SOCKET_BAD_PORT]: Port should be >= 0 and < 65536. Received NaN.
at Server.listen (net.js:1425:13)
at /home/pants/.vim/plugged/coc.nvim/node_modules/vscode-jsonrpc/lib/socketSupport.js:24:16
at new Promise ()
at Object.createClientSocketTransport (/home/pants/.vim/plugged/coc.nvim/node_modules/vscode-jsonrpc/lib/socketSupport.js:15:12)
at LanguageClient.createMessageTransports (/home/pants/.vim/plugged/coc.nvim/lib/language-client/index.js:318:88)

CocConfig

{
"lsp-wl.enable": {
"type": "boolean",
"default": true,
"description": "whether enable wolfram language lsp"
},
"lsp-wl.port": {
"type": "number",
"default": 6536,
"description": "Port to communicate with language server."
},
"lsp-wl.trace.server": {
"type": "string",
"enum": ["off", "messages", "verbose"],
"default": "off",
"description": "Traces the communication between coc and the wolfram language server."
},
"lsp-wl.wolframExecutablePath": {
"type": "string",
"default": "wolfram",
"description": "Path to wolfram executable."
},
"lsp-wl.wolframLanguageServerPath": {
"type": "string",
"default": "~/.vim/repos/lsp-wl",
"description": "Path to wolfram language server directory."
},
"lsp-wl.maxNumberOfProblems": {
"type": "number",
"default": 100,
"description": "Controls the maximum number of problems produced by the server."
}
}

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.