From c7440a2ca06e5e4689715cd9dd593cfa4ed340a5 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Wed, 1 Jun 2011 19:13:09 +0200
Subject: [PATCH] Fixed the HTTP_SERVER.shutdown_server

---
 src/http_handler.e |  1 +
 src/http_server.e  | 13 -------------
 2 files changed, 1 insertion(+), 13 deletions(-)

diff --git a/src/http_handler.e b/src/http_handler.e
index 80369127..9a2408dc 100644
--- a/src/http_handler.e
+++ b/src/http_handler.e
@@ -60,6 +60,7 @@ feature -- Inherited Features
 							end
 						end
 					end
+					is_stop_requested := main_server.stop_requested
 				end
 				l_http_socket.cleanup
 				check
diff --git a/src/http_server.e b/src/http_server.e
index f171417c..d644fafa 100644
--- a/src/http_server.e
+++ b/src/http_server.e
@@ -49,17 +49,4 @@ feature	-- Access
 	stop_requested: BOOLEAN
 			-- Stops the server
 
-feature {NONE} -- implementation
-
-	run
-		-- Start the server
-		local
-			e: EXECUTION_ENVIRONMENT
-		do
-			create e
-			from until stop_requested loop
-				e.sleep (1_000_000)
-			end
-		end
-
 end