I guess I had it coming... I stand corrected...
It was a spontanious 'better-safe-than-sorry' mishap :)
Cheers
/erik
-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
Sent: den 19 februari 2001 12:51
To: [EMAIL PROTECTED]
Subject: Re: HTTP_USER_AGENT
[EMAIL PROTECTED] (Erik Barke) writes:
> String aUserAgent = (String)request.getHeader("User-Agent");
As an aside, there is no need for the cast to "String", as the return
type is already "String".
I often see people doing the same with "request.getParameter()". I can
only guess that people get into the habit of putting the cast to "String"
when using "session.getAttribute()" (where it is needed), and extend
that to other servlet methods.
--
`O O' | [EMAIL PROTECTED]
// ^ \\ | http://www.pyrites.org.uk/
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]
