Hmm, that could be true. I've never had to change the port before and don't really know what people's expectations are. I'd expect it to use the new one right away (otherwise I wouldn't be changing it), but that's from the perspective of a developer.