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 #321

Browse source 
Add `ExitStatus`
Fix REPL tests
This commit is contained in:
Shunsuke Shibayama 2023-01-25 00:11:48 +09:00
parent 846aac89a7
commit fa5bb4f615
7 changed files with 80 additions and 90 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/scripts/repl_server.py
View file

@ -17,8 +17,11 @@ __already_loaded = False
__res = ''
while True:
__order = __client_socket.recv(1024).decode()
if __order == 'quit' or __order == 'exit':
try:
__order = __client_socket.recv(1024).decode()
except ConnectionResetError: # when the server was crashed
break
if __order == 'quit' or __order == 'exit': # when the server was closed successfully
__client_socket.send('closed'.encode())
break
elif __order == 'load':