通常,Control-C会向程序发送一个sigint,如果没有捕获它就会将其杀死. gnureadline库将为sigint安装处理程序.但是,即使在
haskell中禁用这些处理程序,我仍然需要按两次Control-C才能终止程序.这是怎么回事？
import System.Console.Readline
main = do
setCatchSignals False
mainLoop
mainLoop = do
maybeLine <- readline ">"
case maybeLine of
Nothing -> putStrLn ":("
Just line -> do
putStr line
putStr " catch:"
catch <- getCatchSignals
putStrLn $show $catch
mainLoop
解决方法
这可能与
cooked/uncooked/rare终端模式有关; ^ C并不总是发送信号.读取线似乎很难解开终端,因此键盘输入引起的任何信号都必须归因于读取线本身的逻辑;似乎有理由它可能只触发两个连续^ Cs上的SIGINT(特别是因为对于许多使用readline的程序,如shell和REPL,在单个^ C上退出的程序会非常烦人！).
您可以通过使用readline API将^ C重新绑定到触发SIGINT的某些代码来更改此行为.我没有使用Haskell的readline,只是来自C,所以我不确定你是怎么做到的,但是the binding似乎足够丰富来实现它.
