on 2002/10/10 7:33 PM, "[EMAIL PROTECTED]" <[EMAIL PROTECTED]>
wrote:
> + if(! "".equals(proxyName)) {
I usually do:
if (proxyName != null && proxyName.length() > 0)
Looking at the source code to String.java, that is a far more efficient way
to do things (would be nice if that code was at the top of String.equals(),
but it isn't). You can probably take out the null check, if you know the
string won't be null, but that is only a minor optimization.
-jon
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
