diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-06-15 01:41:18 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-06-15 01:41:18 +0000 |
| commit | afac97b82181e2db14226d854761e53c66d98094 (patch) | |
| tree | a3c61f6b04359f4ce0289bd4ba0863467cc2ea66 /src/GF/System/NoSignal.hs | |
| parent | 3efba2f5cc795bd4bbf65224d2c20ce92f6f4a5f (diff) | |
Block SIGINT while running gfInteract, as suggested by Peter.
Diffstat (limited to 'src/GF/System/NoSignal.hs')
| -rw-r--r-- | src/GF/System/NoSignal.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/System/NoSignal.hs b/src/GF/System/NoSignal.hs index 5b7827f32..fdad89b27 100644 --- a/src/GF/System/NoSignal.hs +++ b/src/GF/System/NoSignal.hs @@ -24,3 +24,6 @@ runInterruptibly a = p `catch` h where p = a >>= \x -> return $! Right $! x h e = return $ Left e + +blockInterrupt :: IO a -> IO a +blockInterrupt = id
\ No newline at end of file |