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 socket connection problems

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-01-25 01:19:45 +09:00
parent fa5bb4f615
commit b76d63f9a5
6 changed files with 52 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/scripts/repl_server.py
View file

@ -28,9 +28,10 @@ while True:
__sys.stdout = __io.StringIO()
try:
if __already_loaded:
__res = str(exec('__importlib.reload(o)'))
# __MODULE__ will be replaced with module name
__res = str(exec('__importlib.reload(__MODULE__)'))
else:
__res = str(exec('import o'))
__res = str(exec('import __MODULE__'))
except SystemExit:
__client_socket.send('[Exception] SystemExit'.encode())
continue