[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66144: 29.1; eglot-shutdown request params violate JSONRPC
From: |
João Távora |
Subject: |
bug#66144: 29.1; eglot-shutdown request params violate JSONRPC |
Date: |
Sat, 14 Oct 2023 19:02:18 +0100 |
On Sat, Oct 14, 2023 at 6:19 PM Javier Olaechea <pirata@gmail.com> wrote:
>
> > If you can find some Eglot use case that is actually hurt by this, we can
> > reopen.
>
> The OP has an Eglot use case that is hurt by this, they cannot shutdown the
> ocamllsp server. Because when they call M-x eglot-shutdown, eglot sends an
> invalid request. The server dies instead of returning a response and then
> eglot restarts the server.
But what OP? I don't see this message, can you point to it?
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Javier Olaechea, 2023/10/07
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Eli Zaretskii, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, João Távora, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Javier Olaechea, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, João Távora, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Javier Olaechea, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC,
João Távora <=
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, João Távora, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Javier Olaechea, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, João Távora, 2023/10/14
- bug#66144: 29.1; eglot-shutdown request params violate JSONRPC, Javier Olaechea, 2023/10/14