Skip to content
Snippets Groups Projects
Commit cc712be7 authored by judah's avatar judah
Browse files

Second try: Ensure that we move past the line after finishing, even if an... 

Second try:  Ensure that we move past the line after finishing, even if an exception occurs that we didn't control (for example, darcs or ghci's SIGINT handlers).
parent 8ce50d63
Hide whitespace changes
Inline Side-by-side
Showing
with 79 additions and 72 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment