> while that is entirely true, I really don't see much of a point here.

quoted text
> actually, if I were to implement these parts now I'd make it print port

> numbers only and not names - we don't print hostnames either.

> but - it has been that way for more than 6 years. I don't see a good

> reason to change it now. And I certainly don't want to add YAO (Yet

> Another Option) for that.

> That said, I am not the only developer in that area, and my word is

> certainly not then end of all wisdom.

	Personally, I think if I were starting from square one, I'd

do port numbers, not service names, but that's not the way it's

been for many years and even though my preference would be numbers

my loathing for yet another option far outweighs this preference.
	So, I'd prefer not to see a knob for this. The change

does not warrant the churn.
	-Bob