[jboss-dev-forums] [Design the new POJO MicroContainer] - Re: JBoss with spaces in the directory name

[adrian@jboss.org]

It should come in with %20 unless it is from the URLHandler.
i.e. it is an encoded url.

Magically changing values on people just leads to all sorts of trouble.
e.g. the uppercase/lowercase problem on windows

A further example.
What if I do

mkdir temp/my%20dir

I then do
temp.getChild("my%20dir");

Oops! Not found because it looked for "my dir" !!!!

But the way, the correct URL for the above is
file:///.../temp/my%2520dir
which decodes to my%20dir :-)


View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4166421#4166421

Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=4166421