From 8bb9675719da1a75cd6e225dbf1671294a18c9aa Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 8 Mar 2017 14:10:55 +0100 Subject: [PATCH] Update email notification storage classes. --- .../storage/notification_email_directory_storage.e | 9 +++------ .../storage/notification_email_file_storage.e | 4 ++-- 2 files changed, 5 insertions(+), 8 deletions(-) diff --git a/library/runtime/process/notification_email/storage/notification_email_directory_storage.e b/library/runtime/process/notification_email/storage/notification_email_directory_storage.e index d70cf287..dbc504ad 100644 --- a/library/runtime/process/notification_email/storage/notification_email_directory_storage.e +++ b/library/runtime/process/notification_email/storage/notification_email_directory_storage.e @@ -1,7 +1,7 @@ note description: "Store emails in specific folder." - date: "$Date$" - revision: "$Revision$" + date: "$Date: 2017-03-08 10:34:57 +0100 (mer., 08 mars 2017) $" + revision: "$Revision: 99935 $" class NOTIFICATION_EMAIL_DIRECTORY_STORAGE @@ -41,7 +41,6 @@ feature -- Storage -- Store `a_email'. local retried: BOOLEAN - l_close_needed: BOOLEAN f,w: RAW_FILE dt: DATE_TIME p: PATH @@ -65,11 +64,9 @@ feature -- Storage end fn.append_integer (dt.minute) fn.append_character ('m') - if dt.second < 10 then + if dt.fine_second < 10.0 then fn.append_character ('0') end - fn.append_integer (dt.second) - fn.append_character ('s') fn.append (dt.fine_second.out) p := p.extended (fn) diff --git a/library/runtime/process/notification_email/storage/notification_email_file_storage.e b/library/runtime/process/notification_email/storage/notification_email_file_storage.e index 71b51aee..2974a29d 100644 --- a/library/runtime/process/notification_email/storage/notification_email_file_storage.e +++ b/library/runtime/process/notification_email/storage/notification_email_file_storage.e @@ -1,7 +1,7 @@ note description: "Store email in specific file (could also be stderr, ...)." - date: "$Date: 2015-06-30 15:49:56 +0200 (mar., 30 juin 2015) $" - revision: "$Revision: 97588 $" + date: "$Date: 2017-03-08 10:34:57 +0100 (mer., 08 mars 2017) $" + revision: "$Revision: 99935 $" class NOTIFICATION_EMAIL_FILE_STORAGE