language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 12:51:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update repl_server.py

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-08-28 11:04:45 +09:00
parent 9210188b71
commit 3036637e48
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/repl_server.py
View file

@ -7,7 +7,7 @@ import io as __io
__server_socket = __socket.socket() __server_socket = __socket.socket()
# DummyVM will replace this __PORT__ with free port # DummyVM will replace this __PORT__ with free port
__server_socket.bind(('127.0.0.1', __PORT__)) __server_socket.bind(('127.0.0.1', __PORT__))
__server_socket.listen(1) __server_socket.listen(1)
(__client_socket, __client_address) = __server_socket.accept() (__client_socket, __client_address) = __server_socket.accept()