From 0d51189324b39bd679a4683a91123500d07a85fc Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Tue, 19 Feb 2013 10:41:33 +0100
Subject: [PATCH] Code cleaning and use HTTP_DATE instead of duplicating code.

---
 draft/application/cms/example/src/web_cms.e        | 5 -----
 draft/application/cms/src/cms_setup.e              | 7 -------
 draft/application/cms/src/notification/cms_email.e | 5 ++++-
 3 files changed, 4 insertions(+), 13 deletions(-)

diff --git a/draft/application/cms/example/src/web_cms.e b/draft/application/cms/example/src/web_cms.e
index 3374cf65..c8a5f5e4 100644
--- a/draft/application/cms/example/src/web_cms.e
+++ b/draft/application/cms/example/src/web_cms.e
@@ -8,11 +8,6 @@ class
 	WEB_CMS
 
 inherit
---	CMS_SERVICE
---		redefine
---			modules
---		end
-
 	WSF_DEFAULT_SERVICE
 		redefine
 			initialize
diff --git a/draft/application/cms/src/cms_setup.e b/draft/application/cms/src/cms_setup.e
index 09dff63b..2ed8c7e0 100644
--- a/draft/application/cms/src/cms_setup.e
+++ b/draft/application/cms/src/cms_setup.e
@@ -7,13 +7,6 @@ note
 deferred class
 	CMS_SETUP
 
-feature -- Initialization
-
-	initialize_storage (a_cms: CMS_SERVICE)
-		do
-
-		end
-
 feature -- Access
 
 	configuration: detachable CMS_CONFIGURATION
diff --git a/draft/application/cms/src/notification/cms_email.e b/draft/application/cms/src/notification/cms_email.e
index 90733493..13cfe771 100644
--- a/draft/application/cms/src/notification/cms_email.e
+++ b/draft/application/cms/src/notification/cms_email.e
@@ -84,8 +84,11 @@ feature {NONE} -- Implementation
 
 	date_to_rfc1123_http_date_format (dt: DATE_TIME): STRING_8
 			-- String representation of `dt' using the RFC 1123
+		local
+			d: HTTP_DATE
 		do
-			Result := dt.formatted_out ("ddd,[0]dd mmm yyyy [0]hh:[0]mi:[0]ss.ff2") + " GMT"
+			create d.make_from_date_time (dt)
+			Result := d.rfc1123_string
 		end
 
 invariant