summaryrefslogtreecommitdiff
path: root/src/GF/System/Signal.hs
AgeCommit message (Expand)Author
2006-06-15Block SIGINT while running gfInteract, as suggested by Peter.bringert
2005-11-11Allow disabling signal support in configure.bringert
2005-11-07Restore old signal handler after each computation.bringert
2005-11-07Allow interrupting commands with Ctrl-C. Catch exceptions throw by commands.bringert