language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +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-24 21:17:26 +09:00
parent 2e91472d0e
commit 846aac89a7
2 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/repl_server.py
View file

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