Ethan Atkins 90ca463c70 Add signal registration in LineReader ... It is possible for the signal handler to get in a state where it has no effect in the shell. When this happens, entering ctrl+c does not exit the shell. To ensure that ctrl+c always exits the shell, we can register a signal handler in the line reader that write -1 to the terminal input stream, which should cause the line reader to return an exit command.		2020-11-25 14:31:29 -08:00
..
src	Add signal registration in LineReader	2020-11-25 14:31:29 -08:00
NOTICE	Add, configure & enforce file headers	2017-10-05 09:03:40 +01:00