Brian Dessent schrieb: > This is the much-requested fix for the problem of not saving the proxy > port. I had always expected this was some kind of trivial bug that just > needed a quick fix, but I was incorrect. It was much more subtle than I > gave it credit for. !!!!