From: moontoeki@... (Sung Moon)
Date: 2002-02-19T00:47:22+09:00
Subject: Re: a file name with space for http

>Subject: a file name with space for http

I wrote
>i have a trouble for downloading a file using http protocol, like
>response , = http.get( "#{FILE_NAME}" )
>
>one web site has a file name with space in the name.
>how to change the space?
>I tried "file name" and "file%20name" 

BUT file%20name is CORRECT way to use for 'file name'
..ie. replace space character with %20.
it is used in IE browser

>which is used in browser,
>but it failed.