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

Update repl_server.py

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-01-25 20:21:17 +09:00
parent 4028bd0e1a
commit 4b08fd21a2
2 changed files with 9 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/scripts/repl_server.py
View file

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