diff options
| author | Hans Bolinder <[email protected]> | 2017-10-17 14:48:56 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-10-17 14:48:56 +0200 |
| commit | fc4b103d27e447ffb439adbdf39e5fea87a27b31 (patch) | |
| tree | 74ed429bf4c4abc5c7871c379669956616f3078a /lib/stdlib | |
| parent | addb7f717be0d93eb1d8ed3942763af37fe50af9 (diff) | |
| parent | 23817dd3f1bd70ede570b2aa065fe4ff26aedc04 (diff) | |
| download | otp-fc4b103d27e447ffb439adbdf39e5fea87a27b31.tar.gz otp-fc4b103d27e447ffb439adbdf39e5fea87a27b31.tar.bz2 otp-fc4b103d27e447ffb439adbdf39e5fea87a27b31.zip | |
Merge branch 'hasse/stdlib/fix_ets_i_1/OTP-14663' into maint
* hasse/stdlib/fix_ets_i_1/OTP-14663:
stdlib: Make ets:i/1 exit cleaner upon ^D (old Erlang shell)
Diffstat (limited to 'lib/stdlib')
| -rw-r--r-- | lib/stdlib/src/ets.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/stdlib/src/ets.erl b/lib/stdlib/src/ets.erl index b5d3cd3c8d..1db004c91e 100644 --- a/lib/stdlib/src/ets.erl +++ b/lib/stdlib/src/ets.erl @@ -1700,6 +1700,8 @@ choice(Height, Width, P, Mode, Tab, Key, Turn, Opos) -> io:format("~ts\n", [ErrorString]), choice(Height, Width, P, Mode, Tab, Key, Turn, Opos) end; + eof -> + ok; _ -> choice(Height, Width, P, Mode, Tab, Key, Turn, Opos) end. |