Mercurial Repositories > eric / file diff

--- a/src/eric7/RemoteServer/EricServer.py	Tue Feb 13 09:50:09 2024 +0100
+++ b/src/eric7/RemoteServer/EricServer.py	Tue Feb 13 11:17:38 2024 +0100
@@ -288,16 +288,18 @@
         self.__selector.unregister(self.__socket)
         self.__socket.shutdown(socket.SHUT_RDWR)
         self.__socket.close()
+        self.__socket = None
 
     def __shutdown(self):
         """
         Private method to shut down the server.
         """
-        self.__closeIdeConnection()
+        self.__closeIdeConnection(shutdown=True)
 
         print("Stop listening for 'eric-ide' connections.")
-        self.__socket.shutdown(socket.SHUT_RDWR)
-        self.__socket.close()
+        if self.__socket is not None:
+            self.__socket.shutdown(socket.SHUT_RDWR)
+            self.__socket.close()
 
         self.__selector.close()
 
@@ -326,7 +328,7 @@
             )
             connection.close()
 
-    def __closeIdeConnection(self):
+    def __closeIdeConnection(self, shutdown=False):
         """
         Private method to close the connection to an eric-ide.
         """
@@ -345,7 +347,8 @@
 
             self.__debuggerRequestHandler.shutdownClients()
 
-        self.__initializeIdeSocket()
+        if not shutdown:
+            self.__initializeIdeSocket()
 
     def __serviceIdeConnection(self, key):
         """