Support interruptions

This is mostly to kill curl processes that take too long to finish.

1 files changed, 2 insertions, 1 deletions

diff --git a/Pancake.hs b/Pancake.hs
index 62ef0dd..49f2868 100644
--- a/Pancake.hs
+++ b/Pancake.hs
@@ -81,7 +81,8 @@ retrieve cmd uri = do
             >> pure BS.empty) $
     withCreateProcess ((shell cmd) { env = Just environment
                                    , std_out = CreatePipe
-                                   , std_err = CreatePipe }) $
+                                   , std_err = CreatePipe
+                                   , delegate_ctlc = True }) $
     \_ stdout stderr ph -> case stdout of
       Nothing -> putErrLn "No stdout" >> pure BS.empty
       Just stdout' -> do