diff options
author | Paul Phillips <paulp@improving.org> | 2010-11-17 01:00:57 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-11-17 01:00:57 +0000 |
commit | 363a1456f671323b35dcacf2c8b8eb39180b8a53 (patch) | |
tree | 553913c9a121fa5595a95d40e59c5d9f6944d64c /src/detach/plugin | |
parent | b7fcc7c73e41b326fe4d85d81c49c50fa954c990 (diff) | |
download | scala-363a1456f671323b35dcacf2c8b8eb39180b8a53.tar.gz scala-363a1456f671323b35dcacf2c8b8eb39180b8a53.tar.bz2 scala-363a1456f671323b35dcacf2c8b8eb39180b8a53.zip |
Two annoying REPL things made less annoying:
* ctrl-C will no longer kill the repl unless you hit it again
* ctrl-Z will no longer make the repl useless because of jline
In the service of the first I wrote signal handling code, which we can
put to use in other ways as well. No review.
Diffstat (limited to 'src/detach/plugin')
0 files changed, 0 insertions, 0 deletions