Fixed the HTTP_SERVER.shutdown_server
This commit is contained in:
@@ -60,6 +60,7 @@ feature -- Inherited Features
|
|||||||
end
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
is_stop_requested := main_server.stop_requested
|
||||||
end
|
end
|
||||||
l_http_socket.cleanup
|
l_http_socket.cleanup
|
||||||
check
|
check
|
||||||
|
|||||||
@@ -49,17 +49,4 @@ feature -- Access
|
|||||||
stop_requested: BOOLEAN
|
stop_requested: BOOLEAN
|
||||||
-- Stops the server
|
-- 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
|
end
|
||||||
|
|||||||
Reference in New Issue
Block a user