But URLEncoder.encode( myPath ) encodes ' ' to '+',
not '%20'...
Creating extra path info gets quite difficult now.


>>> [EMAIL PROTECTED] 10.04.2002 19:14 >>>
I think if request.getPathInfo() returns '/Hit+Run', then
the path info was '/Hit+Run' or '/Hit%2BRun'.   The path
would have to be '/Hit%20Run' for getPathInfo() to return
'/Hit Run' on Tomcat 3.3.1.

Cheers,
Larry



--
To unsubscribe:   <mailto:[EMAIL PROTECTED]>
For additional commands: <mailto:[EMAIL PROTECTED]>
Troubles with the list: <mailto:[EMAIL PROTECTED]>

Reply via email to