- fix bug #6861: 5 digit ports get truncated
authorMichael Wallner <mike@php.net>
Tue, 21 Feb 2006 22:43:17 +0000 (22:43 +0000)
committerMichael Wallner <mike@php.net>
Tue, 21 Feb 2006 22:43:17 +0000 (22:43 +0000)

No differences found