From 627ec7aefce07cb0097dd8b9735896fd5e2b03fa Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Mon, 29 Oct 2018 12:33:48 +0100
Subject: [PATCH] removed unneeded inheritance.

---
 library/server/httpd/httpd_request_handler_i.e | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/server/httpd/httpd_request_handler_i.e b/library/server/httpd/httpd_request_handler_i.e
index 42022aa2..6ba2231a 100644
--- a/library/server/httpd/httpd_request_handler_i.e
+++ b/library/server/httpd/httpd_request_handler_i.e
@@ -13,8 +13,6 @@ inherit
 
 	HTTPD_SOCKET_FACTORY
 
-	SOCKET_TIMEOUT_UTILITIES
-
 feature {NONE} -- Initialization
 
 	make (a_request_settings: HTTPD_REQUEST_SETTINGS)