From 811b5e851dadc4f4dca44882844f8b59c1c2193b Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 17 Apr 2019 14:02:26 +0000
Subject: [PATCH] Updated wikipage Managing CTRL+C in console application.
 (Signed-off-by:tioui).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2143 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki      | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/documentation/18.11/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki b/documentation/18.11/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
index bd2f1204..6965c131 100644
--- a/documentation/18.11/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
+++ b/documentation/18.11/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
@@ -1,7 +1,9 @@
+[[Property:modification_date|Wed, 17 Apr 2019 14:02:25 GMT]]
+[[Property:publication_date|Wed, 17 Apr 2019 14:02:25 GMT]]
 [[Property:uuid|5CA34C5D-30F1-4D6F-9FE4-B555E541EA8C]]
 [[Property:weight|4000]]
 [[Property:title|Managing CTRL+C in console application]]
-Normally, if the user use the CTRL+C keys, the Eiffel application detect it as an error and throw an exception of type  <code>OPERATING_SYSTEM_SIGNAL_FAILURE</code>.
+Normally, if the user uses the CTRL+C keys, the Eiffel application detect it as an error and throw an exception of type  <code>OPERATING_SYSTEM_SIGNAL_FAILURE</code>.
 
 To manage the CTRL+C keys, you can use a <code>rescue</code> clause to detect the exception and a <code>retry</code> mecanism to cancel the exception handeling done by the Eiffel runtime.