From d9f6cbe80eac715539f8a72062c05627535e345f Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Fri, 23 Sep 2011 18:18:54 +0200
Subject: [PATCH] Added feature to shutdown the Nino http server

---
 library/server/ewsgi/default/nino/nino_application.e | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/library/server/ewsgi/default/nino/nino_application.e b/library/server/ewsgi/default/nino/nino_application.e
index 1d18f11f..51d85966 100644
--- a/library/server/ewsgi/default/nino/nino_application.e
+++ b/library/server/ewsgi/default/nino/nino_application.e
@@ -53,6 +53,12 @@ feature -- Server
 			connector.launch
 		end
 
+	shutdown
+			-- Shutdown the server
+		do
+			connector.server.shutdown_server
+		end
+
 note
 	copyright: "2011-2011, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"