coq_nvim
coq_nvim copied to clipboard
Let Nvim assign random port for serverstart
I've been having the attached problem since upgrading to Neovim 0.8.0 (nightly when it was happening and now stable), but by letting the serverstart function always assign the port everything functions as expected so far as I can tell.
This problem also exists on ChadTree
Tested on macOS Monterey 12.6
It seems like a pretty harmless switch, but let me know if I overlooked a reason for the initial implementation

Any word on this PR? Implementing this change fixed the problem #661 for me.