diff options
| author | defanor <defanor@uberspace.net> | 2017-11-16 03:17:28 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2017-11-16 03:17:28 +0300 |
| commit | 7390b37f0a907d764e0b183ca307f37c20bb068b (patch) | |
| tree | 2cbdb30a0ce809a724a1b9e2a1685b2a0e62e543 /pancake.1 | |
| parent | ca120bde0cf023219d765f06c3c52720ead9a6a6 (diff) | |
Handle SIGINT during getLine
It is too easy to kill pancake by accident, while trying to interrupt
a child process that finishes by itself right at that moment. So, only
quitting if there's two interruptions in a row (without any input
between them).
Minor refactoring has also happened in this commit.
Diffstat (limited to 'pancake.1')
0 files changed, 0 insertions, 0 deletions