The fact we will never be able to protect the user from themselves does not mean we should not provide feedback or that we should not help them understand the problem when we can. For an experienced developer those mistakes can be somewhat obvious but for someone starting it out they can get quite puzzling.
*José Valimwww.plataformatec.com.br <http://www.plataformatec.com.br/>Founder and Director of R&D* On Tue, Oct 31, 2017 at 11:55 AM, Robert Virding <[email protected]> wrote: > I would be a bit formal and say that the reason is of course that > GenServer:stop is a function that is meant to be called from a client and a > callback which wants the stop the server returns a :stop tuple. Seriously, > I don't see the problem. I see that GenServer.call does this but here I > still don't see the problem. You will never be able to protect the user > from themself. > > Robert > > On Thursday, 26 October 2017 01:35:03 UTC+2, José Valim wrote: >> >> Yup, please open up an issue! >> -- >> >> >> *José Valimwww.plataformatec.com.br >> <http://www.plataformatec.com.br/>Founder and Director of R&D* >> > > -- > You received this message because you are subscribed to the Google Groups > "elixir-lang-core" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/elixir-lang-core/12f8e14a-4733-4e05-bb74- > 2b9b1aee3add%40googlegroups.com > <https://groups.google.com/d/msgid/elixir-lang-core/12f8e14a-4733-4e05-bb74-2b9b1aee3add%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/CAGnRm4JxsREWPq2SBoQTv9r_rE97nFH%2B%2BLEF3-d34mcOAi-uvA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
