Mercurial Repositories > Rope Refactoring / file diff

--- 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=""):
         """