Werner Koch wrote: | So, what should I do: remove the shutdown and risk that some | servers (or buggy proxies) don't work anymor, keep everything as it | is or add an option to not do the shutdown? Do it the "right way" by default; add an option for buggy cases if there's no other way to accomplish the desired outcome.