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.