diff -r c908f66b9d19 -r 01eb78cba360 eric7/Utilities/BackgroundClient.py
--- a/eric7/Utilities/BackgroundClient.py Mon Sep 27 10:51:37 2021 +0200
+++ b/eric7/Utilities/BackgroundClient.py Mon Sep 27 11:51:38 2021 +0200
@@ -209,8 +209,9 @@
finally:
# Give time to process latest response on server side
time.sleep(0.5)
- self.connection.shutdown(socket.SHUT_RDWR)
- self.connection.close()
+ with contextlib.suppress(OSError):
+ self.connection.shutdown(socket.SHUT_RDWR)
+ self.connection.close()
if __name__ == '__main__':
if len(sys.argv) != 5:
