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.hs | |
| parent | 3efba2f5cc795bd4bbf65224d2c20ce92f6f4a5f (diff) | |
Block SIGINT while running gfInteract, as suggested by Peter.
Diffstat (limited to 'src/GF.hs')
| -rw-r--r-- | src/GF.hs | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -28,6 +28,7 @@ import GF.Shell.SubShell import GF.Shell.ShellCommands import GF.Shell.PShell import GF.Shell.JGF +import GF.System.Signal import GF.Text.UTF8 import GF.Today (today,version) @@ -84,7 +85,7 @@ main = do st <- useIOE st0 $ foldM (shellStateFromFiles os) st0 fs if null fs then return () else (ifNotSil putCPU) - gfInteract (initHState st) + blockInterrupt (gfInteract (initHState st)) return () -- preprocessing gfe if opt fromExamples |
