From 8412dd575e856a1f7ecd5dd56c459bcd9495283f Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 30 Apr 2018 00:03:28 +0000
Subject: [PATCH] Update wikipage Managing CTRL+C on console.
 (Signed-off-by:tioui).

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

diff --git a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
index 92cf5e22..1328dc45 100644
--- a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
+++ b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
@@ -2,7 +2,11 @@
 [[Property:weight|0]]
 [[Property:title|Managing CTRL+C on console]]
 [[Property:link_title|CTRL_C terminal]]
-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>. 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.
+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>.
+
+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.
+
+To detect the exception, you can <code>inherit</code> from the <code>EXCEPTIONS</code> class and use an attachment test on <code>Exception_manager.last_exception</code>.
 
 <code>
 note