diff -r 19a390cfb150 -r e7d5da53faac RefactoringRope/JsonClient.py
--- a/RefactoringRope/JsonClient.py Wed Dec 20 14:35:34 2017 +0100
+++ b/RefactoringRope/JsonClient.py Sun Dec 24 17:02:51 2017 +0100
@@ -150,8 +150,12 @@
})
# Give time to process latest response on server side
- self.__connection.shutdown(socket.SHUT_RDWR)
- self.__connection.close()
+ try:
+ self.__connection.shutdown(socket.SHUT_RDWR)
+ self.__connection.close()
+ except (socket.error, OSError):
+ # ignore these; socket might be closed already
+ pass
def poll(self, waitMethod=""):
"""
