diff options
| author | Hans Bolinder <[email protected]> | 2017-09-26 09:25:43 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-10-03 10:32:42 +0200 |
| commit | 23817dd3f1bd70ede570b2aa065fe4ff26aedc04 (patch) | |
| tree | 081326d7663809f6c51cfd4fc1cd3dd70d25916e /lib/stdlib/src/ets.erl | |
| parent | 8fb29181bca26c221ca0a3364f71f79d3d3a4db4 (diff) | |
| download | otp-23817dd3f1bd70ede570b2aa065fe4ff26aedc04.tar.gz otp-23817dd3f1bd70ede570b2aa065fe4ff26aedc04.tar.bz2 otp-23817dd3f1bd70ede570b2aa065fe4ff26aedc04.zip | |
stdlib: Make ets:i/1 exit cleaner upon ^D (old Erlang shell)
Instead of crashing, ^D now exits Erlang if started with -oldshell.
Diffstat (limited to 'lib/stdlib/src/ets.erl')
| -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. |