Merge pull request #804 from erlang-ls/754-io-opts-group-leader

[#754] Return the original io:getopts/0 values in noop_group_leader.
erlang-ls · Oct 31, 2020 · 0a4ec94 · 0a4ec94
2 parents 7dcbad1 + 6f10f9b
commit 0a4ec94
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/els_sup.erl b/src/els_sup.erl
@@ -102,7 +102,9 @@ noop_group_leader() ->
       lager:info("noop_group_leader got [message=~p]", [Message]),
       case Message of
         {io_request, From, ReplyAs, getopts} ->
-          From ! {io_reply, ReplyAs, []};
+          %% We need to pass the underlying io opts, otherwise shell_docs does
+          %% not know which encoding to use. See #754
+          From ! {io_reply, ReplyAs, io:getopts()};
         {io_request, From, ReplyAs, _} ->
           From ! {io_reply, ReplyAs, ok};
         _ ->