From f8ff36499b4c8b804275318187edbbf8b1af3c12 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Mon, 27 Nov 2023 06:10:30 +0000 Subject: [PATCH] [analyzer] Use super().__init__ instead of calling the superclass by name (#158). Use super().__init__. Will keep working even if we inherit from something else. [ci skip] --- analyzer/python/ikos/http.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/analyzer/python/ikos/http.py b/analyzer/python/ikos/http.py index f5782116..d20f66fb 100644 --- a/analyzer/python/ikos/http.py +++ b/analyzer/python/ikos/http.py @@ -78,7 +78,7 @@ def __init__(self, server_address, RequestHandlerClass, bind_and_activate=True): # If the exception is due to IPv6 not being supported, we # select IPv4 only and try to re-open the server again. self.address_family = AF_INET - HTTPServer(server_address, RequestHandlerClass, bind_and_activate) + super().__init__(server_address, RequestHandlerClass, bind_and_activate) else: # If the exception is for any other reason other than IPv6 not # being supported, then we cannot do anything about it.