From 3b1344093dc61cf8945cd6583aa4386fe9579549 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 30 Apr 2018 00:01:07 +0000 Subject: [PATCH] Update wikipage Managing CTRL+C on console. (Signed-off-by:tioui). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1992 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki | 3 ++- 1 file changed, 2 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 3aab37e1..4aa894e6 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 @@ -36,7 +36,8 @@ feature {NONE} -- Initialisation io.standard_default.put_string ("%NFermeture...%N") end rescue - if attached {OPERATING_SYSTEM_SIGNAL_FAILURE} Exception_manager.last_exception then + if attached {OPERATING_SYSTEM_SIGNAL_FAILURE} + Exception_manager.last_exception then l_ctrl_c := True retry end