mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 14:52:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update wikipage Managing CTRL+C on console. (Signed-off-by:tioui).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1992 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-04-30 00:01:07 +00:00
parent 8ecfc32951
commit 3b1344093d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki
View File

@@ -36,7 +36,8 @@ feature {NONE} -- Initialisation
io.standard_default.put_string ("%NFermeture...%N") io.standard_default.put_string ("%NFermeture...%N")
end end
rescue 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 l_ctrl_c := True
retry retry
end end