mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +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@1989 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-04-29 23:58:08 +00:00
parent 132dcb1da5
commit 0ff150eff9
1 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2,4 +2,25 @@
[[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 {OPERATING_SYSTEM_SIGNAL_FAILURE}. To manage the CTRL+C keys, you can use a "rescue" clause to detect the exception and a "retry" 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.
<code>
make
-- Running `Current'.
local
l_ctrl_c:BOOLEAN
do
if not l_ctrl_c then
from until False loop
io.standard_default.put_string ("Press CTRL+C%N")
io.input.read_line
end
else
io.standard_default.put_string ("%NClosing...%N")
end
rescue
if attached {OPERATING_SYSTEM_SIGNAL_FAILURE} Exception_manager.last_exception then
l_ctrl_c := True
retry
end
end