ku-fpg / hermit-shell

HERMIT with GHCi shell
BSD 3-Clause "New" or "Revised" License
2 stars 0 forks source link

Better Ctrl+C handling #8

Closed RyanGlScott closed 9 years ago

RyanGlScott commented 9 years ago

Right now, pressing Ctrl+C twice from hermit-shell will exit the interactive shell, but not the scotty server, leading to all sorts of wackiness.

ecaustin commented 9 years ago

This is fixed by https://github.com/ku-fpg/hermit-shell/issues/9 if you do Ctrl+D once instead of Ctrl+C twice.