-
Notifications
You must be signed in to change notification settings - Fork 0
WIP - Add :EnRestart
command
#350
Conversation
New command to restart ensime servers without leaving the Vim session
da4b362
to
ef5a536
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is great! Have you tested these changes locally?
@jvican, yes, i did, sadly it's not working. Something related to the threading system is not working as I expected, as a result it doesn't execute the shutdown sequence of steps in the order the should be executed. That's why I tagged this PR as a WIP. |
Cool, hope to see this feature soon. In my opinion, it's one of the most important ones. Spurious errors happen in the communication between client and servers and being able to restart the connection is a huge improvement in UX. We also need to figure out what's going on under the hood with the connection. Stability and predictability should be a primer concern for us 🥇 I don't know whether you guys agree on this. |
Killing the server doesn't completely lead to everything restarting yet, but it's almost there. Might leave the rest to @ktonga on #350. Generally it's supposed to be an invariant that if client's self.connected is true, then self.ws should be set--so use that everywhere instead of having a mix that's confusing.
Killing the server doesn't completely lead to everything restarting yet, but it's almost there. Might leave the rest to @ktonga on #350. Generally it's supposed to be an invariant that if client's self.connected is true, then self.ws should be set--so use that everywhere instead of having a mix that's confusing.
Killing the server doesn't completely lead to everything restarting yet, but it's almost there. Might leave the rest to @ktonga on #350. Generally it's supposed to be an invariant that if client's self.connected is true, then self.ws should be set--so use that everywhere instead of having a mix that's confusing.
Killing the server doesn't completely lead to everything restarting yet, but it's almost there. Might leave the rest to @ktonga on #350. Generally it's supposed to be an invariant that if client's self.connected is true, then self.ws should be set--so use that everywhere instead of having a mix that's confusing.
Killing the server doesn't completely lead to everything restarting yet, but it's almost there. Might leave the rest to @ktonga on #350. Generally it's supposed to be an invariant that if client's self.connected is true, then self.ws should be set--so use that everywhere instead of having a mix that's confusing.
It's a work in progress only shared to get some early feedback, not ready to be merged yet. Still trying to fix a problem that prevents it to work properly.
There's a few logging lines to debug the problem, please ignore them by now.