diff options
author | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-06-26 12:29:25 -0700 |
---|---|---|
committer | Magnus Feuer <mfeuer@jaguarlandrover.com> | 2015-06-26 12:29:25 -0700 |
commit | ae682e8173f68af1df5766f559b6848ac16cadfa (patch) | |
tree | f43ad09468837c4bf2c606f9b5b31ff7da7d36cf | |
parent | 0bb050c3570f13feefe5c665195d388525081d6b (diff) | |
download | rvi_core-ae682e8173f68af1df5766f559b6848ac16cadfa.tar.gz |
release-next: Handle shutdown exception if the remote endpoint has already closed the connection
-rw-r--r-- | python/jsonrpclib/SimpleJSONRPCServer.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/python/jsonrpclib/SimpleJSONRPCServer.py b/python/jsonrpclib/SimpleJSONRPCServer.py index d76da73..96443d9 100644 --- a/python/jsonrpclib/SimpleJSONRPCServer.py +++ b/python/jsonrpclib/SimpleJSONRPCServer.py @@ -179,7 +179,11 @@ class SimpleJSONRPCRequestHandler( self.end_headers() self.wfile.write(response) self.wfile.flush() - self.connection.shutdown(1) + try: + self.connection.shutdown(1) + except: + return + return class SimpleJSONRPCServer(SocketServer.TCPServer, SimpleJSONRPCDispatcher): |