Merge branch 'master' into es17.01

This commit is contained in:
2017-03-08 14:11:33 +01:00
2 changed files with 5 additions and 8 deletions

View File

@@ -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)

View File

@@ -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