language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 04:24:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix a socket connection problem

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-01-24 19:57:43 +09:00
parent 4579c86414
commit 64d53a39ce
7 changed files with 101 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/repl_server.py
View file

@ -6,6 +6,8 @@ import importlib as __importlib
import io as __io
__server_socket = __socket.socket()
if __sys.platform == 'linux':
__server_socket.setsockopt(__socket.SOL_SOCKET, __socket.SO_REUSEADDR, 1)
# DummyVM will replace this __PORT__ with free port
__server_socket.bind(('127.0.0.1', __PORT__))
__server_socket.listen(1)