From 23817dd3f1bd70ede570b2aa065fe4ff26aedc04 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 26 Sep 2017 09:25:43 +0200 Subject: stdlib: Make ets:i/1 exit cleaner upon ^D (old Erlang shell) Instead of crashing, ^D now exits Erlang if started with -oldshell. --- lib/stdlib/src/ets.erl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/stdlib/src') 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. -- cgit v1.2.3