From a6806c676a717293606174d740955a648032bb66 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 20 Jun 2017 09:48:10 +0200 Subject: [PATCH] Updated ecf files to version 1-16-0 . Minor cosmetic changes. --- draft/src/gewf/src/gewf_generator.e | 5 ++--- library/security/jwt/jwt-safe.ecf | 16 ++-------------- library/security/jwt/jwt.ecf | 9 ++++++--- library/security/jwt/testing/testing.ecf | 13 ++++++++----- library/security/openid/package.iron | 1 - 5 files changed, 18 insertions(+), 26 deletions(-) diff --git a/draft/src/gewf/src/gewf_generator.e b/draft/src/gewf/src/gewf_generator.e index 389c606e..df81398d 100644 --- a/draft/src/gewf/src/gewf_generator.e +++ b/draft/src/gewf/src/gewf_generator.e @@ -113,14 +113,13 @@ feature -- Implementation across l_values as c loop - s.replace_substring_all ({STRING_32} "${" + c.key.as_string_32 + "}", c.item) + s.replace_substring_all ({STRING_32} "${" + c.key.to_string_32 + "}", c.item.to_string_32) end end end - note - copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + copyright: "2011-2017, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software diff --git a/library/security/jwt/jwt-safe.ecf b/library/security/jwt/jwt-safe.ecf index f2d8c544..075633dd 100644 --- a/library/security/jwt/jwt-safe.ecf +++ b/library/security/jwt/jwt-safe.ecf @@ -1,15 +1,3 @@ - - - - - - - - - - - - - + + diff --git a/library/security/jwt/jwt.ecf b/library/security/jwt/jwt.ecf index 8deb9ee8..7a370628 100644 --- a/library/security/jwt/jwt.ecf +++ b/library/security/jwt/jwt.ecf @@ -1,10 +1,13 @@ - + - - + + + + diff --git a/library/security/jwt/testing/testing.ecf b/library/security/jwt/testing/testing.ecf index 7bad43cb..09486123 100644 --- a/library/security/jwt/testing/testing.ecf +++ b/library/security/jwt/testing/testing.ecf @@ -1,13 +1,16 @@ - + - - - + + + + + - + diff --git a/library/security/openid/package.iron b/library/security/openid/package.iron index 80c50f34..55db2019 100644 --- a/library/security/openid/package.iron +++ b/library/security/openid/package.iron @@ -8,7 +8,6 @@ note title: Eiffel OpenID description: OpenID consumer library tags: openid,security,web,authentication,sso - license: Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt) copyright: 2011-2016, Jocelyn Fiat, Eiffel Software and others license: Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt) link[license]: http://www.eiffel.com/licensing/forum.txt